Title :
Synthesizing procedural abstractions from formal specifications
Author :
Cheng, Betty H C
Author_Institution :
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
Abstract :
A description is presented of the development of the SEED system, which demonstrates that the building blocks of a large software system can be correctly synthesized from user-supplied formal specifications using techniques amenable to automation. SEED accepts a formal specification of a problem written in predicate logic and generates annotated program source code satisfying the specification. In addition to primitive programming language constructs, SEED is capable of synthesizing recursive and nonrecursive procedures and functions, and abstract data types
Keywords :
data structures; formal specification; SEED system; abstract data types; annotated program source code; formal specifications; predicate logic; procedural abstractions synthesis; programming language constructs; software system; Automation; Computer languages; Computer science; Formal specifications; Libraries; Logic programming; Software maintenance; Software systems; Software tools; Testing;
Conference_Titel :
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location :
Tokyo
Print_ISBN :
0-8186-2152-4
DOI :
10.1109/CMPSAC.1991.170166
