| 2008 |
|---|
| 10 | EE | Claudio Ochoa,
Germán Puebla:
Oracle-Based Partial Evaluation.
Electr. Notes Theor. Comput. Sci. 220(3): 145-161 (2008) |
| 9 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
Dynamic slicing of lazy functional programs based on redex trails.
Higher-Order and Symbolic Computation 21(1-2): 147-192 (2008) |
| 2007 |
|---|
| 8 | EE | Claudio Ochoa,
Germán Puebla:
Poly-controlled partial evaluation in practice.
PEPM 2007: 164-173 |
| 7 | EE | Claudio Ochoa,
Germán Puebla:
A Study on the Practicality of Poly-Controlled Partial Evaluation.
Electr. Notes Theor. Comput. Sci. 177: 137-151 (2007) |
| 2006 |
|---|
| 6 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
A Slicing Tool for Lazy Functional Logic Programs.
JELIA 2006: 498-501 |
| 5 | EE | Germán Puebla,
Claudio Ochoa:
Poly-controlled partial evaluation.
PPDP 2006: 261-271 |
| 2005 |
|---|
| 4 | EE | Claudio Ochoa,
Germán Puebla,
Manuel V. Hermenegildo:
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.
LOPSTR 2005: 80-97 |
| 3 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
Lightweight program specialization via dynamic slicing.
WCFLP 2005: 1-7 |
| 2004 |
|---|
| 2 | EE | Gustavo Arroyo,
Claudio Ochoa,
Josep Silva,
Germán Vidal:
Towards CNC Programming Using Haskell.
IBERAMIA 2004: 386-396 |
| 1 | EE | Claudio Ochoa,
Josep Silva,
Germán Vidal:
Dynamic slicing based on redex trails.
PEPM 2004: 123-134 |
