Publicaciones en las que colabora con Germán Vidal Oriola (14)

2006

  1. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science

2005

  1. Operational semantics for declarative multi-paradigm languages

    Journal of Symbolic Computation, Vol. 40, Núm. 1 SPEC. ISS., pp. 795-829

2003

  1. A residualizing semantics for the partial evaluation of functional logic programs

    Information Processing Letters, Vol. 85, Núm. 1, pp. 19-25

2002

  1. An operational semantics for declarative multi-paradigm languages

    Electronic Notes in Theoretical Computer Science

  2. Operational semantics for functional logic languages

    Electronic Notes in Theoretical Computer Science

  3. Symbolic profiling for multi-paradigm declarative languages

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. The narrowing-driven approach to functional logic program specialization

    New Generation Computing, Vol. 20, Núm. 1, pp. 3-26

2001

  1. A practical partial evaluator for a multi-paradigm declarative language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Measuring the effectiveness of partial evaluation in functional logic languages

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2000

  1. Improving functional logic programs by difference-lists

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. La enseñanza de Java en los estudios de Informática

    VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones

  3. Using an abstract representation to specialize functional logic programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1999

  1. A partial evaluation framework for curry programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1998

  1. Improving control in functional logic program specialization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)