Title :
Program synthesis in equivalent specifications
Author :
Jacquet, Paul ; Sebbar, Sadik A.
Author_Institution :
LIFIA-IMAG, Inst. Nat. Polytech., Grenoble, France
Abstract :
An exploration is made of the possibility of synthesizing a definition for a derived operation based on a given specification of an abstract data type. The starting point is a sufficiently complete definition of this operation given in a different, but proven equivalent specification of the same abstract data type. It is shown how the completion procedure allows one to synthesize such definitions and the authors give sufficient conditions to ensure the sufficient completeness of the synthesized definition
Keywords :
data structures; formal logic; formal specification; programming theory; abstract data type; complete definition; completion procedure; derived operation; equivalent specifications; sufficient completeness; synthesized definition; Algebra; Differential algebraic equations; Sufficient conditions;
Conference_Titel :
TENCON '89. Fourth IEEE Region 10 International Conference
Conference_Location :
Bombay
DOI :
10.1109/TENCON.1989.177110
