scientific article; zbMATH DE number 6744203

DOI10.4230/LIPICS.RTA.2015.257MaRDI QIDQ5277883zbMATH OpenFDO

Authors Julian Nagele, Bertram Felgenhauer, Aart Middeldorp

Publication date 12 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.RTA.2015.257

zbMATH Keywords

automationconfluenceterm rewritingtransformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4090848
• Usable Rules for Context-Sensitive Rewrite Systems
• Compiling concurrent rewriting onto the Rewrite Rule Machine
• Characterizing confluence by rewrite closure and right ground term rewrite systems
• Transformations and confluence for rewrite systems
• On rewrite constraints and context unification
• Confluence of prefix-constrained rewrite systems
• Automated Complexity Analysis Based on Context-Sensitive Rewriting
• Confluence of layered rewrite systems
• Rewrite semantics for production rule systems: theory and applications

Cited in

(4)

• Certification of classical confluence results for left-linear term rewrite systems
• Certifying confluence proofs via relative termination and rule labeling
• Removing redundant arguments automatically
• Compositional confluence criteria

Describes a project that uses

Uses Software

• CiME
• CeTA
• CSI
• Saigawa
• CoLoR

This page was built for publication:

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