Combining runtime checking and slicing to improve Maude error diagnosis

DOI10.1007/978-3-319-23165-5_3MaRDI QIDQ2945700zbMATH OpenOpenAlexDBLPWikidataFDO

Authors María Alpuente, D. Ballis, Francisco Frechina, Julia Sapiña

Publication date 14 September 2015

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

Full work available at URL http://hdl.handle.net/10251/61075

Mathematics Subject Classification ID

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

Recommendations

• Debugging Maude programs via runtime assertion checking and trace slicing
• Assertion-based analysis via slicing withABETS(system description)
• Backward trace slicing for rewriting logic theories
• Declarative Debugging of Rewriting Logic Specifications
• Enhancing the debugging of Maude specifications

Cites work

• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• scientific article; zbMATH DE number 194907 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A Maude coherence checker tool for conditional order-sorted rewrite theories
• A modular order-sorted equational generalization algorithm
• 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 conditional rewrite theories
• Backward trace slicing for rewriting logic theories
• Conditional rewriting logic as a unified model of concurrency
• Debugging Maude programs via runtime assertion checking and trace slicing
• Dynamic program slicing
• Equality, types, modules, and (why not?) generics for logic programming
• Exploring conditional rewriting logic computations
• From rewriting logic, to programming language semantics, to program verification
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Invariant-driven specifications in Maude
• Rewriting logic bibliography by topic: 1990--2011
• Rewriting modulo SMT and open system analysis
• Semantic foundations for generalized rewrite theories
• Unification theory

Cited in

(1)

• Debugging Maude programs via runtime assertion checking and trace slicing

Describes a project that uses

Uses Software

• Julienne
• Anima
• ChC 3
• Maude

This page was built for publication: Combining runtime checking and slicing to improve Maude error diagnosis

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