A semantic approach to order-sorted rewriting

DOI10.1006/JSCO.1997.0188MaRDI QIDQ1264441zbMATH OpenOpenAlexFDO

Authors Andreas Werner

Publication date 21 April 2002

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/add039526af1248c138a428e39ad110737f68cca

zbMATH Keywords

order-sorted rewritingrange unique signatures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A semantic approach to order-sorted rewriting
• Completeness and confluence of order-sorted term rewriting
• Semantics of order-sorted specifications
• Order-sorted completion: The many-sorted way

Cited in

(19)

• Abstract domains for reordering CLP(RLin) programs
• A semantic approach to order-sorted rewriting
• Partial order semantics and read arcs
• Currying of order-sorted term rewriting systems
• scientific article; zbMATH DE number 4060701 (Why is no real title available?)
• A generalization of ordered-pair semantics
• scientific article; zbMATH DE number 2043548 (Why is no real title available?)
• Could orders be captured by term rewriting systems?
• Compatibility of order-sorted rewrite rules
• Order-sorted termination: the unsorted way
• Completeness and confluence of order-sorted term rewriting
• On the Completeness of Context-Sensitive Order-Sorted Specifications
• On the Expressivity of Optimality Theory versus Ordered Rewrite Rules
• Semantics of MML query -- ordering
• Semantics of order-sorted specifications
• A study of evaluation order semantics in expressions with side effects
• Order-Sorted Rewriting and Congruence Closure
• scientific article; zbMATH DE number 2043535 (Why is no real title available?)
• Bi-rewriting, a term rewriting technique for monotonic order relations

This page was built for publication: A semantic approach to order-sorted rewriting

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