Confluence: the unifying, expressive power of locality

DOI10.1007/978-3-642-54624-2_17MaRDI QIDQ5403076zbMATH OpenOpenAlexFDO

Authors Jiaxiang Liu, Jean-Pierre Jouannaud

Publication date 25 March 2014

Published in Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54624-2_17

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1759984
• scientific article; zbMATH DE number 2087601
• scientific article; zbMATH DE number 1487470
• scientific article; zbMATH DE number 814802
• The role of concurrency in an evolutionary view of programming abstractions

Cites work

• scientific article; zbMATH DE number 1615226 (Why is no real title available?)
• scientific article; zbMATH DE number 1231658 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 6109844 (Why is no real title available?)
• Confluence by Decreasing Diagrams
• Confluence by decreasing diagrams
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Coq Modulo Theory
• Diagrammatic Confluence and Completion
• From diagrammatic confluence to modularity
• Labelings for Decreasing Diagrams.
• Proof orders for decreasing diagrams

Cited in

(4)

• Compositional confluence criteria
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
• scientific article; zbMATH DE number 2087601 (Why is no real title available?)

Describes a project that uses

Uses Software

• CoqMT

This page was built for publication: Confluence: the unifying, expressive power of locality

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