The following pages link to iJulienne (Q21882):
Displaying 5 items.
- Exploring conditional rewriting logic computations (Q485831) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
- Interactive Simplifier Tracing and Debugging in Isabelle (Q5495933) (← links)
