Anima

swMATH10101MaRDI QIDQ22070FDOQ22070

Author name not available (Why is that?)

Cited In (4)

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

This page was built for software: Anima