Publications:

• Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
  Offline Narrowing-Driven Specialization in Practice
  II CONGRESO ESPAÑOL DE INFORMÁTICA (CEDI 2007),
  ACTAS de las VII Jornadas sobre Programación y Lenguajes (PROLE’07) pp.137-146.
  Available: Abstract / PDF

• Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
  Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs
  Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2006). Springer LNCS 4407, pp. 60-76, 2007.
  Extended and revised version of this abstract.
  © Springer-Verlag
  Available: Abstract / PDF / BibTeX entry

• Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
  Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs
  International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006), pp. 55-61, 2006
  Available: Abstract / PDF (preliminary version) / Technical report / BibTeX entry

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

  Towards CNC Programming using Haskell

  IX Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004), Puebla (Mexico). Springer LNCS 3315, pp. 386-395, 2004.

   © Springer-Verlag

  Available: Abstract / PDF / BibTeX entry

Software:

I have had the opportunity to work mainly with offline partial evaluation, specifically with the functional logic language Curry, into the development system PAKCS (Version 1.7.3), so I have participated in the next developments:

·         A simple monovariant Binding-Time Analyzer (BTA) for the metalaguage AbstractCurry

·         An Offline Narrowing-Driven Partial Evaluator (v0.1). It ensures termination applying the size-change graphs principle, and it is able to annotate programs using either the non-increasing syntactic characterization that is detailed in the paper Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems, or the size-change graphs principle which is explained in the paper Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs.

·         A new control strategies for the Offline Narrowing-Driven Specialization has been undertaken. Here we show a pure offline partial evaluator compared with a hybrid offline and online partial evaluators inclusive. We show a benchmark results also, details are explained in this paper Offline Narrowing-Driven Specialization in Practice.