An approach to object semantics based on terminal co-algebras
From MaRDI portal
Publication:4856658
DOI10.1017/S0960129500000694zbMath0854.18006MaRDI QIDQ4856658
Publication date: 22 January 1997
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
object-oriented programmingconcurrent objectsterminal coalgebrasobject type semanticsterminal semantics
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (47)
On coalgebra of real numbers ⋮ Bisimulation and Hidden Algebra ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ AUTOMATA AND TREE AUTOMATA AS (F1, F2)-COALGEBRAS ⋮ Mongruences and cofree coalgebras ⋮ A short overview of Hidden Logic ⋮ Rewriting logic as a semantic framework for concurrency: a progress report ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ The Expression Lemma ⋮ Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ A Coalgebraic Semantics of Subtyping ⋮ Coalgebras for Binary Methods: Properties of Bisimulations and Invariants ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ A Calculus of Terms for Coalgebras of Polynomial Functors ⋮ From Algebras and Coalgebras to Dialgebras ⋮ Equational and implicational classes of coalgebras ⋮ On the structure of categories of coalgebras ⋮ Specifying coalgebras with modal logic ⋮ From modal logic to terminal coalgebras ⋮ Equational axiomatizability for coalgebra ⋮ A modal proof theory for final polynomial coalgebras ⋮ What is the coalgebraic analogue of Birkhoff's variety theorem? ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Structural induction and coinduction in a fibrational setting ⋮ Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework ⋮ Towards Weak Bisimulation For Coalgebras ⋮ Object-oriented hybrid systems of coalgebras plus monoid actions ⋮ Swinging types=functions+relations+transition systems ⋮ A hidden agenda ⋮ Towards Behavioral Maude ⋮ A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras ⋮ Greatest Bisimulations for Binary Methods ⋮ Universal coalgebra: A theory of systems ⋮ Final coalgebras and the Hennessy-Milner property ⋮ Coalgebras and monads in the semantics of Java ⋮ Comparing object encodings. ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms ⋮ A coalgebraic equational approach to specifying observational structures ⋮ On institutions for modular coalgebraic specifications. ⋮ The continuum as a final coalgebra ⋮ Coalgebra morphisms subsume open maps ⋮ Expander2: Program Verification Between Interaction and Automation
Uses Software
This page was built for publication: An approach to object semantics based on terminal co-algebras
