swMATH9903MaRDI QIDQ21882FDOQ21882
Author name not available (Why is that?)
Official website: http://safe-tools.dsic.upv.es/iJulienne/
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
