iJulienne
From MaRDI portal
Software:21882
swMATH9903MaRDI QIDQ21882FDOQ21882
Author name not available (Why is that?)
Cited In (5)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
- Debugging Maude programs via runtime assertion checking and trace slicing
- 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
