Semantics of order-sorted specifications

DOI10.1016/0304-3975(92)90322-7zbMATH Open0746.68064OpenAlexW1998413900MaRDI QIDQ1185014FDOQ1185014

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

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

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)

Cites Work

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

Cited In (20)

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

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)