Parameterized data types in algebraic specification languages
- 1 January 1980
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 157-168
- https://doi.org/10.1007/3-540-10003-2_68
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Extensions and implementations of abstract data type specificationsPublished by Springer Nature ,1978
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Abstract data types and the development of data structuresPublished by Association for Computing Machinery (ACM) ,1976
- Programming with abstract data typesACM SIGPLAN Notices, 1974