DocumentCode
3410278
Title
Algebraic data type specifications-language, method and tools
Author
Duponcheel, L. ; Heyman, Juergen ; Van Puymbroeck, Willy
Author_Institution
Bell Telephone Manuf. Co., Antwerpen, Belgium
fYear
1988
fDate
11-14 Apr 1988
Firstpage
62
Lastpage
70
Abstract
A description is given of the concepts of an algebraic specification language allowing the development of structured, clear, and reusable specifications, and its support environment is introduced. Initial experience using the presented language, method, and tools in the development of a specification of the Knuth-Bendix algorithm is discussed. Rapid prototyping is emphasized in the tools. In particular, a translator for constructive specifications is illustrated. The use of components of a prototype proof environment is indicated
Keywords
data structures; specification languages; Knuth-Bendix algorithm; algebraic data type specifications; algebraic specification language; constructive specifications; method; prototype proof environment; prototyping; support environment; tools; translator; Algebra; Computer errors; Data structures; Feedback; Mathematics; Prototypes; Software engineering; Software prototyping; Specification languages; Telephony;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location
Brussels
Print_ISBN
0-8186-0834-X
Type
conf
DOI
10.1109/CMPEUR.1988.4935
Filename
4935
Link To Document