The following pages link to Demis Ballis (Q739627):
Displaying 4 items.
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- Transformation and Debugging of Functional Logic Programs (Q3578400) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
