An abstract software specification technique based on structural recursion
- 1 March 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (3), 28-34
- https://doi.org/10.1145/947626.947628
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Abstract data types and software validationCommunications of the ACM, 1978
- Reasoning about recursively defined data structuresPublished by Association for Computing Machinery (ACM) ,1978
- Stepwise specification and implementation of abstract data typesLecture Notes in Computer Science, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978