Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Francisco Javier López-Fraguas
2010 – today
- 2013
[c32]Francisco Javier López-Fraguas, Enrique Martin-Martin: Typing as functional-logic evaluation. PEPM 2013: 23-32- 2012
- [c31]Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: Well-typed narrowing with extra variables in functional-logic programming. PEPM 2012: 83-92
- [i4]Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Rewriting and narrowing for constructor systems with call-time choice semantics. CoRR abs/1209.2617 (2012)
- 2010
- [c30]Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: Liberal Typing for Functional Logic Programs. APLAS 2010: 80-96
- [c29]Javier Álvez, Francisco Javier López-Fraguas: A Complete Axiomatization of Strict Equality. FLOPS 2010: 118-133
- [i3]Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá: The Full Abstraction Problem for Higher Order Functional-Logic Programs. CoRR abs/1002.1833 (2010)
2000 – 2009
- 2009
- [c28]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
- [c27]Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: A Fully Abstract Semantics for Constructor Systems. RTA 2009: 320-334
- [c26]Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá: New Results on Type Systems for Functional Logic Programming. WFLP 2009: 128-144
- [e1]António Porto, Francisco Javier López-Fraguas (Eds.): Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal. ACM 2009, ISBN 978-1-60558-568-0
- [i2]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)
- [i1]Francisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá: A Formalization of the Semantics of Functional-Logic Programming in Isabelle. CoRR abs/0908.0494 (2009)
- 2008
- [c25]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
- [j11]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)
- [j10]
- [j9]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)
- [j8]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)
- [j7]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)
- [c24]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
- [c23]Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. INAP/WLP 2007: 206-222
- 2006
- [j6]
- 2005
- [j5]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
- [j4]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)
- [c22]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
- [c21]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
- 2003
- [j3]Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Failure and equality in functional logic programming. Electr. Notes Theor. Comput. Sci. 86(3): 123-143 (2003)
- [j2]Rafael Caballero, Francisco Javier López-Fraguas: Improving Deterministic Computations in Lazy Functional Logic Languages. Journal of Functional and Logic Programming 2003 (2003)
- 2002
- [c20]Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Narrowing Failure in Functional Logic Programming. FLOPS 2002: 212-227
- [c19]Rafael Caballero, Francisco Javier López-Fraguas: Dynamic-Cut with Definitional Trees. FLOPS 2002: 245-258
- 2001
- [c18]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
- [c17]Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Functional Logic Programming with Failure: A Set-Oriented View. LPAR 2001: 455-469
- 2000
- [c16]Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Proving Failure in Functional Logic Programs. Computational Logic 2000: 179-193
- [c15]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
1990 – 1999
- 1999
- [j1]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)
- [c14]Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Disequalities May Help to Narrow. APPIA-GULP-PRODE 1999: 89-104
- [c13]Rafael Caballero, Francisco Javier López-Fraguas: Extensions: A Technique for Structuring Functional-Logic Programs. Ershov Memorial Conference 1999: 297-310
- [c12]Rafael Caballero, Francisco Javier López-Fraguas: A Functional-Logic Perspective on Parsing. Fuji International Symposium on Functional and Logic Programming 1999: 85-99
- [c11]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
- [c10]Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: TOY: A Multiparadigm Declarative System. RTA 1999: 244-247
- 1998
- [c9]Rafael Caballero, Francisco Javier López-Fraguas: Parsing with Non-Deterministic Functions. APPIA-GULP-PRODE 1998: 87-100
- [c8]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
- [c7]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
- [c6]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
- [c5]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
- [c4]Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas: Combining Lazy Narrowing with Disequality Constraints. PLILP 1994: 385-399
- 1993
- [c3]Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing. PLILP 1993: 184-200
- 1992
- [c2]Francisco Javier López-Fraguas: A General Scheme for Constraint Functional Logic Programming. ALP 1992: 213-227
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-19 19:22 CET by the dblp team