Claudio Ochoa

According to our database, Claudio Ochoa authored at least 11 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Dynamic slicing of lazy functional programs based on redex trails.

Claudio Ochoa, Josep Silva, Germán Vidal

High. Order Symb. Comput., 2008

Oracle-Based Partial Evaluation.

Claudio Ochoa, Germán Puebla

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

2007

Poly-controlled partial evaluation and its application to resource-aware program specialization.

Claudio Ochoa

PhD thesis, 2007

Poly-controlled partial evaluation in practice.

Claudio Ochoa, Germán Puebla

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

2006

A Study on the Practicality of Poly-Controlled Partial Evaluation.

Claudio Ochoa, Germán Puebla

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Poly-controlled partial evaluation.

Germán Puebla, Claudio Ochoa

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Slicing Tool for Lazy Functional Logic Programs.

Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

Lightweight program specialization via dynamic slicing.

Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.

Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2004

Dynamic slicing based on redex trails.

Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

Towards CNC Programming Using Haskell.

Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal

Proceedings of the Advances in Artificial Intelligence, 2004