Publications en collaboration avec des chercheurs de Kiel University (6)

2005

  1. Operational semantics for declarative multi-paradigm languages

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

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

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)

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. 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)