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

DOI10.1007/978-3-642-16310-4_7MaRDI QIDQ4933280zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(7)

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

Describes a project that uses

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)