Cited in
(13)- Debugging Maude programs via runtime assertion checking and trace slicing
- ChC 3
- DDebugger
- iJulienne
- Anima
- Julienne
- Freja
- Hat
- Hood
- Exploring conditional rewriting logic computations
- Backward trace slicing for rewriting logic theories
- Backward trace slicing for conditional rewrite theories
- Inspecting rewriting logic computations (in a parametric and stepwise way)
This page was built for software: Web-TLR
