HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Formal specification and prototyping of a program specializer

Abstract : This paper reports on the use of formal specifications in the development of a software maintenance tool for specializing imperative programs, which have become very complex due to extensive modifications. The tool is specified in terms of inference rules and operates by induction on the abstract syntax. The correctness of these rules is proved using rule induction. A Prolog prototype has been derived for Fortran programs, using the Centaur programming environment.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

Contributor : Sandrine Blazy Connect in order to contact the contributor
Submitted on : Monday, July 30, 2007 - 2:41:00 PM
Last modification on : Monday, February 21, 2022 - 3:38:08 PM
Long-term archiving on: : Thursday, April 8, 2010 - 9:04:09 PM


Publisher files allowed on an open archive




Sandrine Blazy, Philippe Facon. Formal specification and prototyping of a program specializer. TAPSOFT '95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, May 1995, Aarhus, Denmark. pp.666-680, ⟨10.1007/3-540-59293-8_227⟩. ⟨inria-00165933⟩



Record views


Files downloads