Institutions: abstract model theory for specification and programming
- 2 January 1992
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 39 (1), 95-146
- https://doi.org/10.1145/147508.147524
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Conceptual Modelling for Knowledge-Based DSS DevelopmentPublished by Springer Nature ,1987
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Implementation of parameterised specificationsPublished by Springer Nature ,1982
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Algebras with a Scheme of OperatorsMathematische Nachrichten, 1963
- The Semantic Conception of Truth: and the Foundations of SemanticsPhilosophy and Phenomenological Research, 1944
- Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. IMonatshefte für Mathematik, 1930