On the algebraic extensions of abstract data types
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A simple class of algorithmic specifications for abstract software modulesPublished by Springer Nature ,2005
- Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOGLecture Notes in Computer Science, 1981
- Terminal algebra semantics and retractions for abstract data typesLecture Notes in Computer Science, 1980
- Existential quantifiers in abstract data typesLecture Notes in Computer Science, 1979
- Stepwise specification and implementation of abstract data typesLecture Notes in Computer Science, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- Conflunt reductions: Abstract properties and applications to term rewriting systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- The Design of Data Type SpecificationsPublished by Defense Technical Information Center (DTIC) ,1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976