Anima

MaRDI QIDQ22070swMATHFDO

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

Cited in

(10)

• ChC 3
• iJulienne
• DDebugger
• Web-TLR
• Julienne
• Combining runtime checking and slicing to improve Maude error diagnosis
• Akiss
• 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

This page was built for software: Anima