Backward Trace Slicing for Conditional Rewrite Theories

DOI10.1007/978-3-642-28717-6_8zbMath1352.68120OpenAlexW6837106WikidataQ57978144 ScholiaQ57978144MaRDI QIDQ2891440

Daniel M. Romero, Demis Ballis, María Alpuente, Francisco Frechina

Publication date: 15 June 2012

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_8

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (5)

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ Exploring conditional rewriting logic computations ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ Debugging Maude programs via runtime assertion checking and trace slicing

Uses Software

• Maude
• ChC 3
• Web-TLR
• Freja
• Hat
• Hood

This page was built for publication: Backward Trace Slicing for Conditional Rewrite Theories