| 2009 |
|---|
| 37 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A flexible framework for programming with non-deterministicfunctions.
PEPM 2009: 91-100 |
| 36 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A Lightweight Combination of Semantics for Non-deterministic Functions
CoRR abs/0903.2205: (2009) |
| 2008 |
|---|
| 35 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Rewriting and Call-Time Choice: The HO Case.
FLOPS 2008: 147-162 |
| 2007 |
|---|
| 34 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
A simple rewrite notion for call-time choice semantics.
PPDP 2007: 197-208 |
| 33 | EE | José Miguel Cleva,
Francisco Javier López-Fraguas:
Semantic Determinism and Functional Logic Program Properties.
Electr. Notes Theor. Comput. Sci. 174(1): 3-15 (2007) |
| 32 | EE | Francisco Javier López-Fraguas:
Preface.
Electr. Notes Theor. Comput. Sci. 177: 1-3 (2007) |
| 31 | EE | Francisco Javier López-Fraguas,
Juan Rodríguez-Hortalá,
Jaime Sánchez-Hernández:
Equivalence of Two Formal Semantics for Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 188: 117-142 (2007) |
| 30 | EE | Javier de Dios Castro,
Francisco Javier López-Fraguas:
Extra Variables Can Be Eliminated from Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 188: 3-19 (2007) |
| 29 | EE | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A new generic scheme for functional logic programming with constraints.
Higher-Order and Symbolic Computation 20(1-2): 73-122 (2007) |
| 2006 |
|---|
| 28 | EE | Francisco Javier López-Fraguas:
Programming and Languages.
J. UCS 12(11): 1464-1465 (2006) |
| 2005 |
|---|
| 27 | EE | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
Constraint Functional Logic Programming Revisited.
Electr. Notes Theor. Comput. Sci. 117: 5-50 (2005) |
| 2004 |
|---|
| 26 | EE | Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A lazy narrowing calculus for declarative constraint programming.
PPDP 2004: 43-54 |
| 25 | EE | José Miguel Cleva,
Javier Leach,
Francisco Javier López-Fraguas:
A logic programming approach to the verification of functional-logic programs.
PPDP 2004: 9-19 |
| 24 | | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
A Proof Theoretic Approach to Failure in Functional Logic Programming.
TPLP 4(1-2): 41-74 (2004) |
| 2003 |
|---|
| 23 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Failure and equality in functional logic programming.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
| 22 | EE | Rafael Caballero,
Francisco Javier López-Fraguas:
Improving Deterministic Computations in Lazy Functional Logic Languages.
Journal of Functional and Logic Programming 2003: (2003) |
| 2002 |
|---|
| 21 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Narrowing Failure in Functional Logic Programming.
FLOPS 2002: 212-227 |
| 20 | EE | Rafael Caballero,
Francisco Javier López-Fraguas:
Dynamic-Cut with Definitional Trees.
FLOPS 2002: 245-258 |
| 2001 |
|---|
| 19 | EE | Rafael Caballero,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.
FLOPS 2001: 170-184 |
| 18 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Functional Logic Programming with Failure: A Set-Oriented View.
LPAR 2001: 455-469 |
| 2000 |
|---|
| 17 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Proving Failure in Functional Logic Programs.
Computational Logic 2000: 179-193 |
| 16 | | Rafael Caballero,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
WFLP 2000: 8-22 |
| 1999 |
|---|
| 15 | | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
Disequalities May Help to Narrow.
APPIA-GULP-PRODE 1999: 89-104 |
| 14 | EE | Rafael Caballero,
Francisco Javier López-Fraguas:
Extensions: A Technique for Structuring Functional-Logic Programs.
Ershov Memorial Conference 1999: 297-310 |
| 13 | | Rafael Caballero,
Francisco Javier López-Fraguas:
A Functional-Logic Perspective on Parsing.
Fuji International Symposium on Functional and Logic Programming 1999: 85-99 |
| 12 | | Puri Arenas-Sánchez,
Francisco Javier López-Fraguas,
Mario Rodrúguez-Arteljo:
Functional Plus Logic Programming with Built-In and Symbolic Constraints.
PPDP 1999: 152-169 |
| 11 | EE | Francisco Javier López-Fraguas,
Jaime Sánchez-Hernández:
TOY: A Multiparadigm Declarative System.
RTA 1999: 244-247 |
| 10 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
An Approach to Declarative Programming Based on a Rewriting Logic.
J. Log. Program. 40(1): 47-87 (1999) |
| 1998 |
|---|
| 9 | | Rafael Caballero,
Francisco Javier López-Fraguas:
Parsing with Non-Deterministic Functions.
APPIA-GULP-PRODE 1998: 87-100 |
| 8 | EE | Puri Arenas-Sánchez,
Francisco Javier López-Fraguas,
Mario Rodrúguez-Arteljo:
Embedding Multiset Constraints into a Lazy Functional Logic Language.
PLILP/ALP 1998: 429-444 |
| 1996 |
|---|
| 7 | | Puri Arenas-Sánchez,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Eva Ullán:
Real Constraints within a Functional Logic Language.
APPIA-GULP-PRODE 1996: 451-464 |
| 6 | | Juan Carlos González Moreno,
Maria Teresa Hortalá-González,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Rewriting Logic for Declarative Programming.
ESOP 1996: 156-172 |
| 1994 |
|---|
| 5 | | Egon Börger,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.
IFIP Congress (1) 1994: 410-415 |
| 4 | | Puri Arenas-Sánchez,
Ana Gil-Luezas,
Francisco Javier López-Fraguas:
Combining Lazy Narrowing with Disequality Constraints.
PLILP 1994: 385-399 |
| 1993 |
|---|
| 3 | | Rita Loogen,
Francisco Javier López-Fraguas,
Mario Rodríguez-Artalejo:
A Demand Driven Computation Strategy for Lazy Narrowing.
PLILP 1993: 184-200 |
| 1992 |
|---|
| 2 | | Francisco Javier López-Fraguas:
A General Scheme for Constraint Functional Logic Programming.
ALP 1992: 213-227 |
| 1 | | Herbert Kuchen,
Francisco Javier López-Fraguas,
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo:
Implementing a Lazy Functional Logic Language with Disequality Constraints.
JICSLP 1992: 207-221 |
