| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [8 references]
https://hal.inria.fr/inria-00165933
Contributor : Sandrine Blazy <>
Submitted on : Monday, July 30, 2007 - 2:41:00 PM
Last modification on : Saturday, February 9, 2019 - 1:23:22 AM
Long-term archiving on: : Thursday, April 8, 2010 - 9:04:09 PM
Contributor : Sandrine Blazy <>
Submitted on : Monday, July 30, 2007 - 2:41:00 PM
Last modification on : Saturday, February 9, 2019 - 1:23:22 AM
Long-term archiving on: : Thursday, April 8, 2010 - 9:04:09 PM
File
fulltext.pdf
Publisher files allowed on an open archive