Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 101-116
- https://doi.org/10.1007/3-540-10828-9_57
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- How to prove algebraic inductive hypotheses without inductionPublished by Springer Nature ,1980
- The algebraic specification of abstract data typesActa Informatica, 1978
- Abstract data types and the development of data structuresCommunications of the ACM, 1977