Specifications in an arbitrary institution
- 1 February 1988
- journal article
- Published by Elsevier in Information and Computation
- Vol. 76 (2-3) , 165-210
- https://doi.org/10.1016/0890-5401(88)90008-9
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Free constructions in algebraic institutionsPublished by Springer Nature ,2006
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- The Birkhoff Variety Theorem for continuous algebrasAlgebra universalis, 1985
- Algebraic and operational semantics of specifications allowing exceptions and errorsTheoretical Computer Science, 1984
- Equational partialityAlgebra universalis, 1983
- Final Data Types and Their SpecificationACM Transactions on Programming Languages and Systems, 1983
- Formal specification of a display-oriented text editorScience of Computer Programming, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- I/O-computable data structuresACM SIGPLAN Notices, 1981
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsJournal of the ACM, 1979