The following pages link to María Alpuente (Q671507):
Displaying 14 items.
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy (Q1044842) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- A Framework for Timed Concurrent Constraint Programming with External Functions (Q2867965) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Removing Redundant Arguments of Functions* (Q2996146) (← links)
- Specialization of functional logic programs based on needed narrowing (Q3370571) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Transformation and Debugging of Functional Logic Programs (Q3578400) (← links)
- Analyses of unsatisfiability for equational logic programming (Q4327430) (← links)
- Uniform Lazy Narrowing (Q4461934) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
