Semantics of order-sorted specifications

DOI10.1016/0304-3975(92)90322-7MaRDI QIDQ1185014zbMATH OpenOpenAlexFDO

Authors 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

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

Mathematics Subject Classification ID

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

Recommendations

• Order-sorted completion: The many-sorted way
• A semantic approach to order-sorted rewriting
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Completeness and confluence of order-sorted term rewriting
• scientific article; zbMATH DE number 3949706

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3866562 (Why is no real title available?)
• scientific article; zbMATH DE number 4206001 (Why is no real title available?)
• scientific article; zbMATH DE number 3827173 (Why is no real title available?)
• scientific article; zbMATH DE number 3949706 (Why is no real title available?)
• scientific article; zbMATH DE number 4060701 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 177848 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Completion of a Set of Rules Modulo a Set of Equations
• Computational aspects of an order-sorted logic with term declarations
• Equational completion in order-sorted algebras
• Initial Algebra Semantics and Continuous Algebras
• Investigations in many-sorted quantor logic
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Order-sorted completion: The many-sorted way
• Order-sorted unification
• Parametrization for order-sorted algebraic specification

Cited in

(20)

• Order-Sorted Parameterization and Induction
• scientific article; zbMATH DE number 67962 (Why is no real title available?)
• An algebraic semantics of higher-order types with subtypes
• Semantics of MML query -- ordering
• Dynamically-typed computations for order-sorted equational presentations
• Shallow confluence of conditional term rewriting systems
• Completeness and confluence of order-sorted term rewriting
• Equational completion in order-sorted algebras
• scientific article; zbMATH DE number 4060701 (Why is no real title available?)
• Cofinality relation, pre-orders and orders, semantics of ORDER BY clause of querics in SQL-like language
• An Oxford survey of order sorted algebra
• A generalization of ordered-pair semantics
• scientific article; zbMATH DE number 176160 (Why is no real title available?)
• Labelings for decreasing diagrams
• Unification in sort theories and its applications
• scientific article; zbMATH DE number 671941 (Why is no real title available?)
• Partial order semantics and read arcs
• A semantic approach to order-sorted rewriting
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• On the Completeness of Context-Sensitive Order-Sorted Specifications

This page was built for publication: Semantics of order-sorted specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1185014)