Building specifications in an arbitrary institution
- 1 January 1984
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 337-356
- https://doi.org/10.1007/3-540-13346-1_17
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Algebraic specifications with generating constraintsPublished by Springer Nature ,2006
- Equational partialityAlgebra universalis, 1983
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982
- Formal specification of a display-oriented text editorScience of Computer Programming, 1982
- Partial abstract typesActa Informatica, 1982
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- I/O-computable data structuresACM SIGPLAN Notices, 1981
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Observability concepts in abstract data type specificationLecture Notes in Computer Science, 1976
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974