{"title":"代数数据类型规范——语言、方法和工具","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":"{\"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}","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}
Algebraic data type specifications-language, method and tools
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.<>
![[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
