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