Francisco J. López Fraguas

Francisco Javier López Fraguas
fraguas@sip.ucm.es
(yes, you can copy and paste my address; I can hardly receive more spam than now)
Catedrático de Unversidad (Full Professor) Dep. Sistemas Informáticos y Computación
Facultad Informática
Universidad Complutense de Madrid
Prof. José García Santesmases s/n
28040 Madrid SPAIN
Phone: +34 91 3947630 +34 91 3947550 Fax: +34 91 3947529

I lead the Declarative Programming Group (Grupo de Programación Declarativa, GPD) at the UCM

I'm also the Head of the Dep. Sistemas Informáticos y Computación

Some publications

2009

F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
A Fully Abstract Semantics for Constructor Systems..
Proc. RTA 2009 , Springer LNCS 5595, 320-334, 2009.
Long version with proofs here.
F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
A Flexible Framework for Programming with Non-deterministic Functions..
Proc. PEPM 2009 , ACM Press, 2009.

2008

F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
A Lightweight Combination of Semantics for Non-deterministic Functions..
Proc. WLPE 2008 , 2008.
F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
Rewriting and Call-Time Choice: the HO case..
Proc. FLOPS 2008 , Springer LNCS 4989, 147-162, 2008.
Long version with proofs in Tech. Rep. UCM-SIC-3-08

2007

F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
Narrowing for Non-Determinism with Call-Time Choice Semantics..
Proc. WLP 2007 , 2007.
F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
A Simple Rewrite Notion for Call-time Choice Semantics..
Proc. PPDP 2007 , pages 197-208, 2007. ACM Press
F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
Bundles pack tighter than lists..
Draft Proc. of 8th Trends in Functional Programming 2007.
F.J. López Fraguas, M. Rodríguez-Artalejo and R. del Vado-Virseda
A New Generic Scheme for Functional Logic Programming with Constraints.
Higher Order and Symbolic Computation, 20, Issue 1/2, 73-122 , 2007.
Extended revised version of [LRV06]
F.J. López Fraguas (ed.).
Electronic Notes in Theoretical Computer Science 177,
Special issue with Proc. of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06),
2007, 261 pages.
J. de Dios Castro, F.J. López Fraguas,
Extra Variables can be Eliminated from Functional Logic Programs.
Electronic Notes in Theoretical Computer Science 188, 3-19, 2007.
F.J. López Fraguas, J. Rodríguez-Hortalá, J. Sánchez Hernández
Equivalence of two formal semantics for functional logic programs.
Electronic Notes in Theoretical Computer Science, 188, 117-142, 2007.
J.M. Cleva, F.J. López Fraguas,
Semantic determinism and functional logic program properties.
Electronic Notes in Theoretical Computer Science, 174, 3-15, 2007.
[Long version].

2006

F.J. López Fraguas (ed).
Journal of Universal Computer Science 12, Issue 11, Special issue with extended versions of selected papers from V Jornadas sobre Programación y Lenguajes (PROLE'2005), 235 pages, December 2006.
J. de Dios Castro, F.J. López Fraguas,
Elimination of Extra Variables in Functional Logic Programs.
Proc. V Jornadas sobre Programación y Lenguajes (PROLE'06), pages 121-135, 2006.
F.J. López Fraguas, J. Rodríguez Hortalá, J. Sánchez Hernández
Relating Two Semantic Descriptions of Functional Logic Programs.
Proc. V Jornadas sobre Programación y Lenguajes (PROLE'06), pages 31-40, 2006.
R. Caballero, J. Sánchez (eds), P. Arenas, A. Fernández, A. Gil, F.J. López, M. Rodríguez, F. Sáenz.
TOY: A Multiparadigm Declarative Language, Version 2.2.3, July 2006.
Tech. Rep. TR-SIP UCM, 2006, 258 pages.

2005

F.J. López Fraguas, M. Rodríguez-Artalejo and R. del Vado-Virseda
Constraint Functional Logic Programming Revisited.
Electronic Notes in Theoretical Computer Science 117, Special Issue with Proc. Fifth Int. Workshop on Rewriting Logic and its Applications (WRLA'04), pages 5-50, 2005.

2004

F.J. López Fraguas, J. Sánchez Hernández
A Proof Theoretic Approach to Failure in Functional Logic Programming.
Theory and Practice of Declarative Programming, Vol 4 Part 1-2, pages 41-74, 2004.
F.J. López Fraguas, M. Rodríguez-Artalejo and R. del Vado-Virseda
A Lazy Narrowing Calculus for Declarative Constraint Programming.
Proc. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP'04), pages 43-54 , 2004.
J.M. Cleva, J. Leach, F.J. López Fraguas
A logic programming approach to the verification of functional-logic programs
Proc. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP'04), pages 9-19, 2004.
F.J. López Fraguas, J. Sánchez Hernández
Functional logic programming with failure and built-in equality
Proc. 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03), pages 61-74, Valencia, 2003. ISBN: 84-96221-02-4
J.M. Cleva, J. Leach, F.J. López-Fraguas.
A logical approach to the verification of functional-logic programs.
13th International Workshop of Fucntional and (Constraint) Logic Programming, Aachen, 2004.
J.M. Cleva, J. Leach, F.J. López-Fraguas.
Una aproximación lógica a la verificación de propiedades de programas lógico-funcionales.
IV Jornadas de Programación y Lenguajes (PROLE'04), Málaga, 2004.

2003

F.J. López Fraguas, J. Sánchez Hernández
Failure and equality in functional logic programming
Electronic Notes in Theoretical Computer Science 86, Issue 3, 21 pages, 2003.
R. Caballero Roldán, F.J. López Fraguas,
Improving deterministic computations in lazy functional logic languages
The Journal of Functional and Logic Programming, 2003, Special Issue, 23 pages, 2003.

2002

F.J. López Fraguas, J. Sánchez Hernández
Narrowing Failure in Functional Logic Programming
6th Fuji International Symposium on Functional and Logic Programming (FLOPS'02) LNCS 2441, pages 212-227 , 2002.
R. Caballero Roldán, F.J. López Fraguas,
Dynamic Cut with Definitional Trees
6th Fuji International Symposium on Functional and Logic Programming (FLOPS'02) LNCS 2441, pages 245-258 , 2002.
R. Caballero Roldán, F.J. López Fraguas
Dynamic Detection of Deterministic Computations in Non-Deterministic Functional-Logic Programs
11th Int. Workshop on Functional Logic Programming (WFLP'02), Grado, 2002.

2001

F.J. López Fraguas, J. Sánchez Hernández
Functional Logic Programming with Failure: A Set-oriented View
8th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'01) LNAI 2250 pages 455-469 , 2001.
R. Caballero Roldán, F.J. López Fraguas, M. Rodríguez Artalejo
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
5th Fuji Int. Symp. on Functional and Logic Programming (FLOPS'01) LNCS 2024, pages 170-184 , 2001.

2000

F.J. López Fraguas, J. Sánchez Hernández
Proving Failure in Functional Logic Programs
First Int. Conf. on Computational Logic (CL2000) LNAI 1861 pages 179-193 , 2000.
R. Caballero Roldán, F.J. López Fraguas
Extensions: A Technique for Structuring Functional Logic Programs
Third Int. Andrei Ershov Memorial Conf. on Perspectives of System Informatics (PSI'99) LNCS 1755, pages 297-310 , 2000.
R. Caballero Roldán, F.J. López Fraguas, M. Rodríguez Artalejo
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Programming
9th Int. Workshop on Functional Logic Programming (WFLP'00), Benicassim, 2000.

1999

J.C. González Moreno, T. Hortalá González, F.J. López Fraguas, M. Rodríguez Artalejo
An Approach to Declarative Programming based on a Rewriting Logic
Journal of Logic Programming, 40(1) 47-87, 1999.
R. Caballero Roldán, F.J. López Fraguas
A Functional Logic Perspective of Parsing
4th Fuji Int. Symp. on Functional and Logic Programming (FLOPS'99) LNCS 1722, pages 85-99 , 1999.
P. Arenas Sánchez, F.J. López Fraguas, M. Rodríguez Artalejo
Functional plus Logic Programming with Built-in and Symbolic Constraints
Int. Conf. on Principles and Practice of Declarative Programming (PPDP'99) LNCS 1702, pages 152-169 , 1999.
F.J. López Fraguas, J. Sánchez Hernández
TOY: A Multiparadigm Declarative System
10th Int. Conf. on Rewriting Techniques and Applications (RTA'99) LNCS 1631, pages 244-247 , 1999.
F.J. López Fraguas, J. Sánchez Hernández
Disequalities May Help to Narrow
1999 Joint International Conference on Declarative Programming, APPIA-GULP-PRODE'99, L'Aquila, 1999.
R. Caballero Roldán, F.J. López Fraguas, M. Rodríguez Artalejo
A Functional Logic Specification of Declarative Debugging
8th Int. Workshop on Functional Logic Programming (WFLP'99), Grenoble, 1999.

1998

P. Arenas Sánchez, F.J. López Fraguas, M. Rodríguez Artalejo
Embedding Multiset Constraints into A Lazy Functional Logic Language
10th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP'98) LNCS 1490, pages 429-444 , 1998.
R. Caballero-Roldán, F.J. López Fraguas,
A Functional-Logic Alternative to Monads
First International Workshop on Component-based Software Development in Computational Logic1 (COCL'98), pages 1-15, 1998.
R. Caballero-Roldán, F.J. López Fraguas,
Parsing with Non-Deterministic Functions
1998 Joint International Conference on Declarative Programming, APPIA-GULP-PRODE'98, pages 87-100, La Coruña, 1998.
R. Caballero-Roldán, F.J. López Fraguas,
Functional logic parsers in TOY
Technical Report SIP 7498, April 1998.

1996

J.C. González Moreno, T. Hortalá González, F.J. López Fraguas, M. Rodríguez Artalejo
A Rewriting Logic for Declarative Programming
6th European Symp. on Programming (ESOP'96) LNCS 1058, pages 156-172 , 1996.
P. Arenas Sánchez, T. Hortalá González, F.J. López Fraguas, E. Ullán Hernández
Functional Logic Programming with Real Numbers
Multi-Paradigm Logic Programming. Post-Conference Workshop of the JICSLP'96, pages 47-58, Bonn, 1996.
(It is better to download this Tech. Rep.)
P. Arenas Sánchez, T. Hortalá González, F.J. López Fraguas, E. Ullán Hernández
Real Constraints within a Functional Logic Language
1996 Joint International Conference on Declarative Programming, APPIA-GULP-PRODE'96, pages 451-462, San Sebastián, 1996.
(It is better to download this Tech. Rep.)

1994

P. Arenas Sánchez, A. Gil Luezas, F.J. López Fraguas
Combining Lazy Narrowing with Disequality Constraints
6th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP'94) LNCS 844, pages 385-399 , 1994.
E. Börger, F.J. López Fraguas, M. Rodríguez Artalejo
A Model for Mathematical Analysis of Functional Logic Languages and their Implementations
Proc. IFIP 13th World Computer Congress, Technology and Foundations, IFIP-Transactions A-51 pages 410-415, 1994.

F.J. López Fraguas
Programación funcional y lógica con restricciones.
PhD dissertation, Univ. Complutense de Madrid, September 1994.

1993

R. Loogen, F.J. López Fraguas, M. Rodríguez Artalejo
A Demand Driven Computation Strategy for Lazy Narrowing
5th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP'93) LNCS 714, pages 184-200 , 1993.
H. Kuchen, F.J. López Fraguas
Result Directed Computing in a Functional Logic Language
Second Int. Workshop on Functional Logic Programming (WFLP'93), pages 14-34, Rattenberg, 1993.

1992

F.J. López Fraguas
A General Scheme for Constraint Functional Logic Programming
Third Int. Conf. on Algebraic and Logic Programming (ALP'92) LNCS 632, pages 213-227 , 1992.
H. Kuchen, F.J. López Fraguas, J.J. Moreno Navarro, M. Rodríguez Artalejo
Implementing a Lazy Functional Logic Language with Disequality Constraints
Proc. Joint International Conference and Symposium on Logic Programming JICSLP'92 pages 207-224, 1992.
F.J. López Fraguas, R.M. Pinero Fernández
Building a BABEL Compiler with Logic Programming Techniques
Workshop on Integration of Functional and Logic Programming, Granada, 1990.

Scientific activities

Chair of the steering committee of the ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

I lead the Declarative Programming Group (Grupo de Programación Declarativa, GPD) at the UCM I'm also the Head of the Dep. Sistemas Informáticos y Computación