iJulienne
From MaRDI portal
Software:21882
No author found.
Related Items (5)
Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system ⋮ Exploring conditional rewriting logic computations ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ Debugging Maude programs via runtime assertion checking and trace slicing ⋮ Interactive Simplifier Tracing and Debugging in Isabelle
This page was built for software: iJulienne
