Formal specification and prototyping of a program specializer - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1995

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.
Fichier principal
Vignette du fichier
fulltext.pdf (786.22 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00165933 , version 1 (30-07-2007)

Identifiers

Cite

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⟩

Collections

CNAM CEDRIC-CNAM
29 View
111 Download

Altmetric

Share

Gmail Facebook X LinkedIn More