Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Claudio Ochoa" ( http://dblp.L3S.de/Authors/Claudio_Ochoa )

  Author page on DBLP  Author page in RDF  Community of Claudio Ochoa in ASPL-2

Publication years (Num. hits)
2004 (2) 2005 (2) 2006 (2) 2007 (2) 2008 (2)
Publication types (Num. hits)
article(3) inproceedings(7)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(2) PEPM(2) Higher-Order and Symbolic Comp...(1) IBERAMIA(1) JELIA(1) LOPSTR(1) PPDP(1) WCFLP(1)
Authors
Claudio Ochoa(10) Germán Puebla(5) Germán Vidal(5) Josep Silva(5) Gustavo Arroyo(1) Manuel V. Hermenegildo(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 7 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Claudio Ochoa, Germán Puebla Oracle-Based Partial Evaluation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Claudio Ochoa, Josep Silva, Germán Vidal Dynamic slicing of lazy functional programs based on redex trails. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lazy functional programming, Redex trails, Debugging, Slicing
1Claudio Ochoa, Germán Puebla A Study on the Practicality of Poly-Controlled Partial Evaluation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Claudio Ochoa, Germán Puebla Poly-controlled partial evaluation in practice. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF resource-aware specialization, logic programming, partial evaluation
1Claudio Ochoa, Josep Silva, Germán Vidal A Slicing Tool for Lazy Functional Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Claudio Ochoa Poly-controlled partial evaluation. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF control rules, optimization, partial evaluation
1Claudio Ochoa, Josep Silva, Germán Vidal Lightweight program specialization via dynamic slicing. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lazy functional logic programming, program specialization, dynamic slicing
1Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal Towards CNC Programming Using Haskell. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Claudio Ochoa, Josep Silva, Germán Vidal Dynamic slicing based on redex trails. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lazy functional logic programming, redex trails, slicing
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.