Constructing specifications of abstract data types by replacements
- 10 June 2005
- book chapter
- Published by Springer Nature
- p. 180-191
- https://doi.org/10.1007/bfb0025720
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Stepwise specification and implementation of abstract data typesPublished by Springer Nature ,1978
- Data typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Grammars on partial graphsActa Informatica, 1976
- Algebraic TheoriesPublished by Springer Nature ,1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Deriving graphs from graphs by applying a productionActa Informatica, 1975
- Graph-grammars: An algebraic approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1973
- A technique for software module specification with examplesCommunications of the ACM, 1972
- ModelltheoriePublished by Springer Nature ,1972