Partial Evaluation for Program Comprehension

ACM Computing Surveys

Volumn 30, Issue 3, 1998, Pages 1-4

  Blazy, Sandrine ^a   Facon, Philippe ^a  

^a CEDRIC   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847574759     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/289121.289138     Document Type: Article

References (6)

1. S. Blazy and P. Façon. 1995. Formal specification and prototyping of a program specializer. In TAPSOFT Conference Proceedings, Volume 915 of LNCS (May 1995), pp. 666-680.
2. S. Blazy and P. Façon. 1997. Application of formal methods to the development of a software maintenance tool. In Automated Software Engineering Conference Proceedings (November 1997), pp. 162-171. IEEE.
3. A. Frazer. 1992. Reverse engineering- hype, hope or here? In Software Reuse and Reverse Engineering in Practice, pp. 209-243. P. A. V. Hall (ed.).
4. K. Gallagher and J. R. Lyle. 1991. Using program slicing in software mainetnance. ACM Trans. Soft. Eng. 17, 8, 751-761.
5. INRIA. 1994. Centaur 1.2 Documentation. INRIA.
6. G. Kahn. 1987. Natural semantics. In STACS Proceedings, Volume 247 of LNCS (1987).