A Maude coherence checker tool for conditional order-sorted rewrite theories

DOI10.1007/978-3-642-16310-4_7zbMATH Open1306.68066OpenAlexW180134343MaRDI QIDQ4933280FDOQ4933280

Authors: Francisco Durán, José Meseguer 

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_7

Recommendations

• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
• Generalized rewrite theories and coherence completion
• Strict coherence of conditional rewriting modulo axioms
• Generalized rewrite theories, coherence completion, and symbolic methods

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (7)

• A partial evaluation framework for order-sorted equational programs modulo axioms
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• Generalized rewrite theories and coherence completion
• A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
• Combining runtime checking and slicing to improve Maude error diagnosis
• Exploring conditional rewriting logic computations
• Inspecting rewriting logic computations (in a parametric and stepwise way)

Uses Software

• Maude
• ChC 3
• CRC 3
• MTT

This page was built for publication: A Maude coherence checker tool for conditional order-sorted rewrite theories

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