Cited in
(13)- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
- Debugging Maude programs via runtime assertion checking and trace slicing
- ChC 3
- jEdit
- DDebugger
- Anima
- Julienne
- Web-TLR
- ATAME
- ABETS
- Exploring conditional rewriting logic computations
- Inspecting rewriting logic computations (in a parametric and stepwise way)
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: iJulienne
