Some extensions to algebraic specifications
- 1 March 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 12 (3) , 63-67
- https://doi.org/10.1145/390017.808312
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Abstract data types and the development of data structuresPublished by Association for Computing Machinery (ACM) ,1976
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- A technique for software module specification with examplesCommunications of the ACM, 1972