An Oxford survey of order sorted algebra

DOI10.1017/S0960129500000517zbMath0939.68710MaRDI QIDQ4322433

Răzvan Diaconescu, Joseph A. Goguen

Publication date: 4 July 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)

Related Items (22)

Constructor-Based Institutions ⋮ A simple abstract semantics for equational theories ⋮ Binding in Nominal Equational Logic ⋮ Category-based modularisation for equational logic programming ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ Parameterisation for abstract structured specifications ⋮ An introduction to category-based equational logic ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs ⋮ Higher-order algebra with transfinite types ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ On the algebra of structured specifications ⋮ Equational axiomatizability for coalgebra ⋮ Structural induction in institutions ⋮ Order-sorted unification ⋮ Regular expression order-sorted unification and matching ⋮ Order-sorted inductive types ⋮ Interpreting Abstract Interpretations in Membership Equational Logic ⋮ Swinging types=functions+relations+transition systems ⋮ A hidden agenda ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms ⋮ Logical foundations of CafeOBJ

Uses Software

• OBJ3
• 2OBJ

Cites Work

• Unnamed Item
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Semantics of order-sorted specifications
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Unification in permutative equational theories is undecidable
• Initial Algebra Semantics and Continuous Algebras
• Institutions: abstract model theory for specification and programming
• Algebras with a Scheme of Operators
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: An Oxford survey of order sorted algebra