Seguir
Francisco Lopez-Fraguas
Francisco Lopez-Fraguas
Professor of Computer Science, Universidad Complutense de Madrid
Dirección de correo verificada de sip.ucm.es - Página principal
Título
Citado por
Citado por
Año
TOY: A Multiparadigm Declarative System
FJ López Fraguas, J Sánchez Hernández
International Conference on Rewriting Techniques and Applications, 244-247, 1999
2971999
An approach to declarative programming based on a rewriting logic
JC González-Moreno, MT Hortala-Gonzalez, FJ Lopez-Fraguas, ...
The Journal of Logic Programming 40 (1), 47-87, 1999
2451999
A demand driven computation strategy for lazy narrowing
R Loogen, FL Fraguas, MR Artalejo
Progamming Language Implementation and Logic Programming: 5th International …, 1993
1721993
An Integrated Functional Logic Language
M Hanus, S Antoy, H Kuchen, FJ López-Fraguas, W Lux, JJM Navarro, ...
93*2006
A rewriting logic for declarative programming
JC González-Moreno, MT Hortalá-González, FJ López-Fraguas, ...
Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996
781996
A simple rewrite notion for call-time choice semantics
FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
582007
Theoretical foundations for the declarative debugging of lazy functional logic programs
R Caballero, FJ López-Fraguas, M Rodríguez-Artalejo
International Symposium on Functional and Logic Programming, 170-184, 2001
422001
Combining lazy narrowing with disequality constraints
P Arenas-Sánchez, A Gil-Luezas, FJ López-Fraguas
Programming Language Implementation and Logic Programming: 6th International …, 1994
421994
Rewriting and call-time choice: the HO case
FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Functional and Logic Programming: 9th International Symposium, FLOPS 2008 …, 2008
402008
A proof theoretic approach to failure in functional logic programming
FJ López-Fraguas, J Sánchez-Hernández
Theory and Practice of Logic Programming 4 (1-2), 41-74, 2004
402004
A lazy narrowing calculus for declarative constraint programming
FJ López-Fraguas, M Rodríguez-Artalejo, R del Vado Vírseda
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
352004
A functional-logic perspective of parsing
R Caballero, FJ López-Fraguas
International Symposium on Functional and Logic Programming, 85-99, 1999
351999
A new generic scheme for functional logic programming with constraints
FJ López Fraguas, M Rodríguez Artalejo, RV Vírseda
Higher-Order and Symbolic Computation 20 (1), 73-122, 2007
342007
Extra variables can be eliminated from functional logic programs
J de Dios Castro, FJ López-Fraguas
Electronic Notes in Theoretical Computer Science 188, 3-19, 2007
322007
A logic programming approach to the verification of functional-logic programs
JM Cleva, J Leach, FJ López-Fraguas
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
312004
Proving failure in functional logic programs
FJ López-Fraguas, J Sánchez-Hernández
International Conference on Computational Logic, 179-193, 2000
242000
Implementing a Lazy Functional Logic Language with Disequality Constraints.
H Kuchen, FJ López-Fraguas, JJ Moreno-Navarro, M Rodríguez-Artalejo
JICSLP, 207-221, 1992
241992
Functional logic programming with failure: A set-oriented view
FJ López-Fraguas, J Sánchez-Hernández
International Conference on Logic for Programming Artificial Intelligence …, 2001
182001
A model for mathematical analysis of functional logic programs and their implementations
E Borger, FJ LOPEZ FRAGUAS, M RODRIGUES ARTALEJO
IFIP 13th World Computer Congress 1994 Volume I: Technology/Foundations, 410-415, 1994
171994
User’s manual for Toy
R Caballero-Roldán, FJ López-Fraguas, J Sánchez-Hernández
Tech. Rep. DIA 97/57, 1997
161997
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20