DocumentCode
2838885
Title
Program synthesis in equivalent specifications
Author
Jacquet, Paul ; Sebbar, Sadik A.
Author_Institution
LIFIA-IMAG, Inst. Nat. Polytech., Grenoble, France
fYear
1989
fDate
22-24 Nov 1989
Firstpage
1053
Lastpage
1058
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;
fLanguage
English
Publisher
ieee
Conference_Titel
TENCON '89. Fourth IEEE Region 10 International Conference
Conference_Location
Bombay
Type
conf
DOI
10.1109/TENCON.1989.177110
Filename
177110
Link To Document