Travelled to:
1 × France
1 × United Kingdom
2 × Italy
Collaborated with:
G.Puebla M.V.Hermenegildo J.Silva G.Vidal
Talks about:
partial (3) evalu (3) control (2) poli (2) base (2) superflu (1) polyvari (1) version (1) special (1) program (1)
Person: Claudio Ochoa
DBLP: Ochoa:Claudio
Contributed to:
Wrote 5 papers:
- QAPL-2008-OchoaP #partial evaluation
- Oracle-Based Partial Evaluation (CO, GP), pp. 145–161.
- PEPM-2007-OchoaP #partial evaluation
- Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.
- PPDP-2006-PueblaO #partial evaluation
- Poly-controlled partial evaluation (GP, CO), pp. 261–271.
- LOPSTR-2005-OchoaPH #prolog #source code
- Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs (CO, GP, MVH), pp. 80–97.
- PEPM-2004-OchoaSV #slicing
- Dynamic slicing based on redex trails (CO, JS, GV), pp. 123–134.