Publications dans lesquelles il/elle collabore avec FRANCISCO JAVIER LÓPEZ FRAGUAS (13)

2014

  1. Rewriting and narrowing for constructor systems with call-time choice semantics

    Theory and Practice of Logic Programming, Vol. 14, Núm. 2, pp. 165-213

2009

  1. A flexible framework for programming with non-deterministic functions

    Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

  2. A fully abstract semantics for constructor systems

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

  3. A fully abstract semantics for constructor systems

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

  4. Narrowing for first order functional logic programs with call-time choice semantics

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

2008

  1. A lightweight combination of semantics for non-deterministic functions

    18th Workshop on Logic-based methods in Programming Environments, WLPE 2008

  2. Rewriting and call-time choice: The HO case

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

2007

  1. A simple rewrite notion for call-time choice semantics

    PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

  2. Equivalence of Two Formal Semantics for Functional Logic Programs

    Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 117-142

2004

  1. A proof theoretic approach to failure in functional logic programming

    Theory and Practice of Logic Programming, Vol. 4, Núm. 1-2, pp. 41-74

2003

  1. Failure and equality in functional logic programming

    Electronic Notes in Theoretical Computer Science

2001

  1. Functional logic programming with failure: A set-oriented view

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

2000

  1. Proving failure in functional logic programs

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)