Formal specification and prototyping of a program specializer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 915, Issue , 1995, Pages 666-680

  Blazy, Sandrine ^a   Facon, Philippe ^a  

^a CEDRIC   (France)

Author keywords

Centaur; Program specialization; Proof of correctness; Rule induction; Software maintenance; Structured operational semantics; VDM

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; FORMAL METHODS; PROLOG (PROGRAMMING LANGUAGE); SEMANTICS; SOFTWARE DESIGN; SPECIFICATIONS;

CENTAUR; PROGRAM SPECIALIZATION; PROOF OF CORRECTNESS; RULE INDUCTION; STRUCTURED OPERATIONAL SEMANTICS;

FORMAL SPECIFICATION;

EID: 84957614919     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59293-8_227     Document Type: Conference Paper

References (11)

1. FORTRAN. ANSI standard X3. 9, 1978.
2. A. Aho, R. Sethi, J. Ullman, Compilers. Addison-Wesley eds., 1986.
3. S. Blazy, P. Facon SFAC, a tool for program comprehension by specialization IEEE Workshop on program comprehension, Washington, November 1994.
4. Centaur 1. 1 documentation. INRIA, January 1990.
5. J. Despeyroux, Proof of translation in natural semantics. Symposium on Logic in Computer Science, Cambridge USA, June 86.
6. G. Dowek et al. The Coq proofassistant user's guide INRIA report 134, December 1991.
7. M. Hennessy, The semantics of programming languages. Wiley eds., 1990.
8. C. B. Jones, Systematic software development using VDM. Prentice-Hall, 2nd eds., 1990.
9. G. Kahn, Natural semantics. Proceedings of STAGS'87, Lecture Notes in Computer Science, vol. 247, March 1987.
10. U. Meyer, Techniques for evaluation of imperative languages. ACM SIGSOFT, March 1991, pp. 94-105.
11. G. Plotkin, A structural approach to operational semantics. Report DAIMIFN-19, University of Aarhus, 1981.