Claudio Ochoa

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Claudio Ochoa, Germán Puebla
Oracle-Based Partial Evaluation. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Claudio Ochoa, Josep Silva, Germán Vidal
Dynamic slicing of lazy functional programs based on redex trails. High. Order Symb. Comput. 21 (1-2) (2008)
Claudio Ochoa, Germán Puebla
Poly-controlled partial evaluation in practice. PEPM (2007)
Claudio Ochoa, Germán Puebla
A Study on the Practicality of Poly-Controlled Partial Evaluation. Electron. Notes Theor. Comput. Sci. 177 (2007)
Claudio Ochoa, Josep Silva, Germán Vidal
A Slicing Tool for Lazy Functional Logic Programs. JELIA (2006)
Germán Puebla, Claudio Ochoa
Poly-controlled partial evaluation. PPDP (2006)
Claudio Ochoa, Josep Silva, Germán Vidal
Lightweight program specialization via dynamic slicing. WCFLP (2005)
Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR (2005)
Claudio Ochoa, Josep Silva, Germán Vidal
Dynamic slicing based on redex trails. PEPM (2004)
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
Towards CNC Programming Using Haskell. IBERAMIA (2004)