Francisco Javier López-Fraguas

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 4

Top Topics

Partial Deduction

Inductive Logic Programming

Top Venues

Math. Struct. Comput. Sci.

J. Comput. Lang.

Publications

Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García
Deriving overloaded success type schemes in Erlang. J. Comput. Lang. 58 (2020)
Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García
Polymorphic success types for Erlang. LPAR (2018)
Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá
Polymorphic Types in Erlang Function Specifications. FLOPS (2016)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
A liberal type system for functional logic programs. Math. Struct. Comput. Sci. 25 (4) (2015)
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. Theory Pract. Log. Program. 14 (2) (2014)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
Safe typing of functional logic programs with opaque patterns and local bindings. Inf. Comput. 235 (2014)
Francisco Javier López-Fraguas, Enrique Martin-Martin
Typing as functional-logic evaluation. PEPM (2013)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
Well-typed narrowing with extra variables in functional-logic programming. PEPM (2012)
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 (2012)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá
The Full Abstraction Problem for Higher Order Functional-Logic Programs CoRR (2010)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
Liberal Typing for Functional Logic Programs. APLAS (2010)
Javier Álvez, Francisco Javier López-Fraguas
A Complete Axiomatization of Strict Equality. FLOPS (2010)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A Lightweight Combination of Semantics for Non-deterministic Functions CoRR (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A flexible framework for programming with non-deterministicfunctions. PEPM (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A Fully Abstract Semantics for Constructor Systems. RTA (2009)
Francisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá
A Formalization of the Semantics of Functional-Logic Programming in Isabelle CoRR (2009)
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
New Results on Type Systems for Functional Logic Programming. WFLP (2009)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Rewriting and Call-Time Choice: The HO Case. FLOPS (2008)
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Equivalence of Two Formal Semantics for Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 188 (2007)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A new generic scheme for functional logic programming with constraints. High. Order Symb. Comput. 20 (1-2) (2007)
Francisco Javier López-Fraguas
Preface. Electron. Notes Theor. Comput. Sci. 177 (2007)
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)
Javier de Dios Castro, Francisco Javier López-Fraguas
Extra Variables Can Be Eliminated from Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 188 (2007)
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)
José Miguel Cleva, Francisco Javier López-Fraguas
Semantic Determinism and Functional Logic Program Properties. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
Francisco Javier López-Fraguas
Programming and Languages. J. Univers. Comput. Sci. 12 (11) (2006)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
A Proof Theoretic Approach to Failure in Functional Logic Programming. Theory Pract. Log. Program. 4 (1-2) (2004)
José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas
A logic programming approach to the verification of functional-logic programs. PPDP (2004)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Constraint Functional Logic Programming Revisited. WRLA (2004)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A lazy narrowing calculus for declarative constraint programming. PPDP (2004)
Rafael Caballero, Francisco Javier López-Fraguas
Improving Deterministic Computations in Lazy Functional Logic Languages. J. Funct. Log. Program. 2003 (2003)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Failure and equality in functional logic programming. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Rafael Caballero, Francisco Javier López-Fraguas
Dynamic-Cut with Definitional Trees. FLOPS (2002)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Narrowing Failure in Functional Logic Programming. FLOPS (2002)
Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. FLOPS (2001)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Functional Logic Programming with Failure: A Set-Oriented View. LPAR (2001)
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)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Proving Failure in Functional Logic Programs. Computational Logic (2000)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Disequalities May Help to Narrow. APPIA-GULP-PRODE (1999)
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) (1999)
Rafael Caballero, Francisco Javier López-Fraguas
A Functional-Logic Perspective on Parsing. Fuji International Symposium on Functional and Logic Programming (1999)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
: A Multiparadigm Declarative System. RTA (1999)
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)
Rafael Caballero, Francisco Javier López-Fraguas
Extensions: A Technique for Structuring Functional-Logic Programs. Ershov Memorial Conference (1999)
Rafael Caballero, Francisco Javier López-Fraguas
Parsing with Non-Deterministic Functions. APPIA-GULP-PRODE (1998)
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)
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)
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)
Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas
Combining Lazy Narrowing with Disequality Constraints. PLILP (1994)
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)
Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Demand Driven Computation Strategy for Lazy Narrowing. PLILP (1993)
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)
Francisco Javier López-Fraguas
A General Scheme for Constraint Functional Logic Programming. ALP (1992)