Partial algebras flow from algebraic specifications
Author:
- 1 January 1987
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 521-530
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Fundamentals of Algebraic Specification 11985
- A basic Abstract Semantic AlgebraLecture Notes in Computer Science, 1984
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- Partial abstract typesActa Informatica, 1982
- More on advice on structuring compilers and proving them correctTheoretical Computer Science, 1981
- Quasi-equational logic for partial algerasLecture Notes in Computer Science, 1981
- Algebraic denotational semantics using parameterized abstract modules1981
- Gültigkeitsbegriffe für Gleichungen in partiellen AlgebrenMathematische Zeitschrift, 1978
- Weak and strong equations in partial algebrasAlgebra universalis, 1973
- Proof of correctness of data representationsActa Informatica, 1972