{"title":"Algebraic data type specifications-language, method and tools","authors":"L. Duponcheel, J. Heyman, W. Van Puymbroeck","doi":"10.1109/CMPEUR.1988.4935","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1988.4935","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
