Partial evaluation as an aid to the comprehension of Fortran programs

Blazy, Sandrine; Facon, Philippe

doi:10.1109/wpc.1993.263907

Cited by 11 publications

(9 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The VIFOR tool displays a graphical representation of the FORTRAN code in order to enhance understanding and to aid in building and modifying the program. Blazy and Facon (1993) described a technique and a tool supporting partial evaluation of FORTRAN programs. The tool produces a complete reduced program to aid in program comprehension.…”

Section: Executive Summarymentioning

confidence: 99%

Dynamic Analysis of Test and Evaluation Software

Wilde¹

2001

View full text Add to dashboard Cite

Public reporting burden for this collection of information is estimated to average 1 hour per response, inclut data needed, and completing and reviewing this collection of information. Send comments regarding this burden to Department of Defense, Washington Headquarters Services, Directorate for Information 4302, Respondents should be aware that notwithstanding any other provision of law, no person shall be iRbject valid OMB control number. PLEASE DO NOT RETURN YOUR FORM TO THE ABOVE ADDRESS.ise, including the til ding this 'jirden esi ation Op Jations a' shall be Abject to a e tim e for reviewin -r-.xy "V estimate or any ot \J* JSJ-1 ' Reports (070 any'penaltyforfa. REPORT DATE (DD-MM-YYYY)

show abstract

Section: Executive Summarymentioning

confidence: 99%

Dynamic Analysis of Test and Evaluation Software

Wilde¹

2001

View full text Add to dashboard Cite

show abstract

“…Both tasks are detailed in [4] In this section, we specify the propagation through a call-statement and the simplification of a call-statement.…”

Section: Interprocedural Specializationmentioning

confidence: 99%

“…Another example is the specialization of a 3D-application program into a 2D-one by setting the value of a co-ordinate. 9 the tool does not change the original structure of the application program as explained in [4]. The tool is a polyvariant on-line specializer.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An automatic interprocedural analysis for the understanding of scientific application programs

Blazy

Facon

1996

Partial Evaluation

View full text Add to dashboard Cite

This paper reports on an approach for improving the understanding of old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techniques for program understanding. These techniques mainly use propagation through statements and simplifications of statements. We focus here on the automatic interprocedural analysis and we specify both tasks (propagation and simplification) for call-statements, in terms of inference rules with notations taken from the formal specification languages B and VDM. We describe how we have implemented that interprocedural analysis in a tool, and how it can be used to improve program understanding. The difficulty of that analysis is due to the lack of well defined interprocedural mechanisms and the complexity of visibility rules in Fortran.

show abstract

“…we do not change their structure (& explained in [3]). We do not unfold call statements: in the call statement, the subroutine name is replaced by the name of the specialized subroutine, and actual parameters are updated.…”

Section: An Interprocedural Specialization Strategymentioning

confidence: 99%

Interprocedural analysis for program comprehension by specialization

Blazy¹,

Facon²

WPC '96. 4th Workshop on Program Comprehension

Self Cite

View full text Add to dashboard Cite

Our tool mainly uses constant propagation andThis paper reports on an approach for program comprehension during large-scale maintenance of Fortran application programs. We have adapted partial evaluation (or specialization of programs given spec@ values for their input data) techniques for program comprehension. We focus here on the automatic interprocedural analysis and we describe how we have speci$ed, implemented in a tool, and used that analysis to improve program comprehension. The difJiculty of that analysis is due to the lack of well defined interprocedural mechanisms and the complexity of visibility rules in Fortran.

show abstract

Partial evaluation as an aid to the comprehension of Fortran programs

Cited by 11 publications

References 11 publications

Dynamic Analysis of Test and Evaluation Software

Dynamic Analysis of Test and Evaluation Software

An automatic interprocedural analysis for the understanding of scientific application programs

Interprocedural analysis for program comprehension by specialization

Contact Info

Product

Resources

About