Backward trace slicing for rewriting logic theories

DOI10.1007/978-3-642-22438-6_5MaRDI QIDQ5200013zbMATH OpenOpenAlexWikidataFDO

Authors Javier Espert, Daniel M. Romero, María Alpuente, D. Ballis

Publication date 29 July 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Backward trace slicing for conditional rewrite theories
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Exploring conditional rewriting logic computations
• A backward slicing algorithm for Prolog
• Static slicing of rewrite systems

Cites work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Backward trace slicing for rewriting logic theories
• Declarative debugging of missing answers for Maude
• Descendants and origins in term rewriting.
• scientific article; zbMATH DE number 1691462 (Why is no real title available?)
• scientific article; zbMATH DE number 1982209 (Why is no real title available?)
• scientific article; zbMATH DE number 2043518 (Why is no real title available?)
• Parametric Trace Slicing and Monitoring
• Rewriting logic: Roadmap and bibliography

Cited in

(6)

• Backward trace slicing for conditional rewrite theories
• Combining runtime checking and slicing to improve Maude error diagnosis
• Exploring conditional rewriting logic computations
• Backward trace slicing for rewriting logic theories
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Debugging Maude programs via runtime assertion checking and trace slicing

Describes a project that uses

Uses Software

• Web-TLR
• Freja
• Hat
• Hood
• Maude
• SPIN

This page was built for publication: Backward trace slicing for rewriting logic theories

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