A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories

DOI10.1007/978-3-642-16310-4_7zbMath1306.68066OpenAlexW180134343MaRDI QIDQ4933280

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

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

Related Items

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ Exploring conditional rewriting logic computations ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms

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