A kernel language for algebraic specification and implementation extended abstract
- 1 January 1983
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Structured theories in LCFLecture Notes in Computer Science, 1983
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Programming in a wide spectrum language: a collection of examplesScience of Computer Programming, 1981
- On the power of algebraic specificationsLecture Notes in Computer Science, 1981
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Terminal algebra semantics and retractions for abstract data typesLecture Notes in Computer Science, 1980
- Parameterized data types in algebraic specification languagesLecture Notes in Computer Science, 1980
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Observability concepts in abstract data type specificationLecture Notes in Computer Science, 1976