scientific article
From MaRDI portal
Publication:3332238
zbMath0543.68021MaRDI QIDQ3332238
Joseph A. Goguen, Rod M. Burstall
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program specificationlogical systemtheoriestheorem proverfree constructionsinstitutioninterface declarations
Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Abstract model theory (03C95)
Related Items (51)
A language for configuring multi-level specifications ⋮ An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Why Horn formulas matter in computer science: initial structures and generic examples ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Specification and verification of database dynamics ⋮ Building Specifications in the Event-B Institution ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Specifications in an arbitrary institution ⋮ Remarks on classifications and adjunctions ⋮ Topological representation of intuitionistic and distributive abstract logics ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ Essential concepts of algebraic specification and program development ⋮ Algebraic data integration ⋮ Topological systems as a framework for institutions ⋮ Unified Algebras and action semantics ⋮ Proving correctness w.r.t. specifications with hidden parts ⋮ Logic representation in LF ⋮ Semantic typing for parametric algebraic specifications ⋮ A decade of TAPSOFT ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives ⋮ Algebraic methods in the compositional analysis of logic programs ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Graded consequence: an institution theoretic study ⋮ Conservative translations revisited ⋮ Algebraic structures of directed acyclic graphs: application to concurrent calculus ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Domain Endurants ⋮ Unnamed Item ⋮ Probabilization of logics: completeness and decidability ⋮ A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ Towards a functional approach to modular ontologies using institutions ⋮ Categorical abstract algebraic logic: The categorical Suszko operator ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ Unnamed Item ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations ⋮ Towards Behavioral Maude ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Detecting equivalence of modular specifications with categorical diagrams ⋮ An Institution for Object-Z with Inheritance and Polymorphism ⋮ Implicit Partiality of Signature Morphisms in Institution Theory ⋮ Modalities for an allegorical conceptual data model ⋮ Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas ⋮ IMPS: An interactive mathematical proof system ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions
This page was built for publication:
