Pages that link to "Item:Q2891440"
From MaRDI portal
The following pages link to Backward Trace Slicing for Conditional Rewrite Theories (Q2891440):
Displaying 5 items.
- Exploring conditional rewriting logic computations (Q485831) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
