Semantics of order-sorted specifications

DOI10.1016/0304-3975(92)90322-7zbMath0746.68064OpenAlexW1998413900MaRDI QIDQ1185014

Uwe Waldmann

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90322-7

zbMATH Keywords

completionconfluencerewritingequalityorder-sorted algebrasChurch- Rosser propertynonoverloaded algebrasoverloaded algebrasoverloaded completion procedureSort-decreasingness

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items

Completeness and confluence of order-sorted term rewriting, Unification in sort theories and its applications, On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories, An Oxford survey of order sorted algebra, Equational completion in order-sorted algebras, Dynamically-typed computations for order-sorted equational presentations, A semantic approach to order-sorted rewriting, Shallow confluence of conditional term rewriting systems, Labelings for decreasing diagrams, An algebraic semantics of higher-order types with subtypes

Cites Work

• Order-sorted unification
• Investigations in many-sorted quantor logic
• Parametrization for order-sorted algebraic specification
• Equational completion in order-sorted algebras
• Order-sorted completion: The many-sorted way
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Computational aspects of an order-sorted logic with term declarations
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Completion of a Set of Rules Modulo a Set of Equations
• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item