Anima

MaRDI QIDQ22070swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-54624-2_12

Cited in

(10)

• Debugging Maude programs via runtime assertion checking and trace slicing
• ChC 3
• DDebugger
• iJulienne
• Julienne
• Web-TLR
• Akiss
• Combining runtime checking and slicing to improve Maude error diagnosis
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Exploring conditional rewriting logic computations

This page was built for software: Anima