Partial evaluation as an aid to the comprehension of fortran programs

IEEE International Conference on Program Comprehension

Volumn , Issue , 1993, Pages 46-54

  Blazy, Sandrine ^a   Facon, Philippe ^b  

^a EDF R AND D   (France)

^b CEDRIC   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORTRAN (PROGRAMMING LANGUAGE);

ABSTRACT SYNTAX; CONSTANT PROPAGATION; FORTRAN PROGRAMS; INFERENCE RULES; INPUT VARIABLES; PARTIAL EVALUATION; SPECIFIC VALUES; TOOL SUPPORTING;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84957612315     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPC.1993.263907     Document Type: Conference Paper

References (23)

1. Fortran ANSI standard X3.9 1978.
2. V.Ambriola, F.Giannotti, D.Pederschi, F.Turini Symbolic semantics and program reduction IEEE Trans, on Software Engi-ne^ing, 11(8). 08/85,784-794.
3. L.O.Andersen C program specialization Master's thesis. Uni-versity of Copenhagen, May 1992.
4. A.Berlin, D.Weise Compiling scientific code using partial evaluation. Computer, December 1990,25-37.
5. Centaur 1.1 documentation INRIA, January 1990.
6. A.Coen-Porsini, F.De Paoli, C.Ghezzi, D.MandrioU 5o/îware specialization via symbolic execution IEEE Trans, on Software Engineering, 17(9), September 1991. 884-899.
7. P.D.Coward Symbolic execution systems-a review Software Engineering Journal, November 1988,229-239.
8. J.DtspeytOiixProof of translation in natural semantics Symp. Logic in Comp. Science, Cambridge USA, June 86.
9. A.P.Ershov, B.N.Ostrovski Controlled mixed computation and its application to systematic development of language-ori-ented parsers Program Specification and Transformation, IFIP'87,31-48.
10. Connexité Reference manual cfthe Foresys line of software products 1993.
11. KB .Gallagher, J.R.Lyle Using program slicing in software maintenance IEEE Transactions on Software Engineering. 17(8), August 1991.751-761.
12. M.Haziza, J.F.Voidrot, E.Minor, L.Pofelski, S.Blazy Software maintenance: an analysis of industrial needs and con-straints IEEE Conference on Software Maintenance, Orlando, USA. November 1992.
13. CB.Jones Systematic sciare development using VDM Prentice-HaU, 2nd eds., 1990.
14. N.D.Jones, P.Sestoft, H.Sondergaard M/X.- a self-applicable partial evaluatorfor experiments in compiler generation Lisp and SymboUc Computation 2.1989,9-50.
15. G.Kahn Natural semantics Proceedings of STACS'87. Lec-ture Notes in Computer Science, vol.247, March 1987.
16. V.Kasyanov Transformational approach to program corwre-tization Th. Computer Science. 90,1991,37-46.
17. R.Kemmerer. S.Edcmann UNISEX: a UNIX-based Symbolic Executor for Pascal Software Practice and Experience, 15(5), 1985,439-457.
18. U.Meyer Techniques for evaluation of imperative languages ACM SIGSOFT, March 1991.94-105.
19. G.Nicolas & al. A finite volume approach for 3D two phase flows in tube bundles: the THYC code Kemforsc-hungscentnun,Karlsnihe. Vol.2.1989.1247-1253.
20. D.Sahlin An automatic partial evaluatorfor full Pro-log Ph.D. Thesis, SICS. Copenhaguen, March 1991.
21. T.H.Sneed The myth of 'top-down software develop-ment and its consequences IEEE Conference on Software Maintenance, Miami USA. October 1989.22-29.
22. H J. Van Zuylen Understaruling in reverse engineering The REDO handbook Wiley eds.. September 1992.
23. M.N.Wegman. K.Zadeck Constant propagation with conditional branches ACM Trans, on Programming Lan-guages and Systems 13(2). April 1991.181-210.