Relations as abstract datatypes: An institution to specify relations between algebras
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- D-oids: a model for dynamic data-typesMathematical Structures in Computer Science, 1995
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Unifying initial and loose semantics of parameterized specifications in an arbitrary institutionPublished by Springer Nature ,1991
- On recent trends in algebraic specificationPublished by Springer Nature ,1989
- Specifications in an arbitrary institutionInformation and Computation, 1988
- The semantics of clear, a specification languagePublished by Springer Nature ,1980