An Oxford survey of order sorted algebra

DOI10.1017/S0960129500000517zbMath0939.68710MaRDI QIDQ4322433

Joseph A. Goguen, Răzvan Diaconescu

Publication date: 4 July 2000

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

Mathematics Subject Classification ID

08A70: Applications of universal algebra in computer science

68Q65: Abstract data types; algebraic specification

Related Items

Equational axiomatizability for coalgebra, Order-sorted unification, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Order-sorted inductive types, Swinging types=functions+relations+transition systems, A hidden agenda, Logical foundations of CafeOBJ, A hidden Herbrand theorem: Combining the object and logic paradigms, Category-based modularisation for equational logic programming

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