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
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
- Exploring conditional rewriting logic computations
- Interactive Simplifier Tracing and Debugging in Isabelle
This page was built for software: iJulienne
