A system for reasoning within and about algebraic specifications
- 1 January 1982
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 257-282
- https://doi.org/10.1007/3-540-11494-7_18
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An Analysis of Semantic Models for Algebraic SpecificationsPublished by Springer Nature ,1982
- Implementation of parameterised specificationsPublished by Springer Nature ,1982
- On the algebraic extensions of abstract data typesLecture Notes in Computer Science, 1981
- Algorithmic specifications of abstract data typesLecture Notes in Computer Science, 1981
- Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOGLecture Notes in Computer Science, 1981
- An experiment with "Edinburgh LCF"Published by Springer Nature ,1980
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Polynomials — The Specification, Analysis and Development of an Abstract Data TypePublished by Springer Nature ,1980
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Program ConstructionLecture Notes in Computer Science, 1979