swMATH10101MaRDI QIDQ22070FDOQ22070
Author name not available (Why is that?)
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
- Exploring conditional rewriting logic computations
- Inspecting rewriting logic computations (in a parametric and stepwise way)
This page was built for software: Anima
