The following pages link to Francisco Frechina (Q739628):
Displaying 8 items.
- (Q485829) (redirect page) (← links)
- Exploring conditional rewriting logic computations (Q485831) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- Backward Trace Slicing for Conditional Rewrite Theories (Q2891440) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
