Compound algebraic implementations: An approach to stepwise refinement of software systems
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 231-245
- https://doi.org/10.1007/bfb0022508
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Complexity of implementations on the level of algebraic specificationsPublished by Association for Computing Machinery (ACM) ,1980
- Abstract data types and software validationCommunications of the ACM, 1978
- 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
- Abstract data types and the development of data structuresPublished by Association for Computing Machinery (ACM) ,1976
- Program development by stepwise refinementCommunications of the ACM, 1971