A semantic approach to order-sorted rewriting

DOI10.1007/978-3-662-21551-7_5MaRDI QIDQ5055784zbMATH OpenOpenAlexFDO

Authors Andreas Werner

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-21551-7_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A semantic approach to order-sorted rewriting
• Semantics of order-sorted specifications
• Order-Sorted Rewriting and Congruence Closure
• Partial order reduction for rewriting semantics of programming languages
• Currying of order-sorted term rewriting systems
• Semantics and expressiveness of ordered SOS
• A generalization of ordered-pair semantics
• Order-sorted equational unification revisited
• Completeness and confluence of order-sorted term rewriting
• scientific article; zbMATH DE number 176122

Cites work

• scientific article; zbMATH DE number 3921947 (Why is no real title available?)
• scientific article; zbMATH DE number 3949706 (Why is no real title available?)
• scientific article; zbMATH DE number 3784268 (Why is no real title available?)
• scientific article; zbMATH DE number 1995173 (Why is no real title available?)
• A note on a canonical theory with undecidable unification and matching problem
• A semantic approach to order-sorted rewriting
• Completeness and confluence of order-sorted term rewriting
• Completion of rewrite systems with membership constraints
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Order-sorted completion: The many-sorted way
• Semantics of order-sorted specifications

Cited in

(17)

• 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
• 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
• Dynamically-typed computations for order-sorted equational presentations
• 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
• A study of evaluation order semantics in expressions with side effects
• Order-Sorted Rewriting and Congruence Closure
• 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 Q5055784)