Francisco Lopez-Fraguas
Title
Cited by
Cited by
Year
TOY: A multiparadigm declarative system
FJL Fraguas, JS Hernández
International Conference on Rewriting Techniques and Applications, 244-247, 1999
2811999
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
2271999
A demand driven computation strategy for lazy narrowing
R Loogen, FL Fraguas, MR Artalejo
International Symposium on Programming Language Implementation and Logic …, 1993
1651993
An Integrated Functional Logic Language
M Hanus, S Antoy, H Kuchen, FJ López-Fraguas, W Lux, JJM Navarro, ...
88*2006
A rewriting logic for declarative programming
JC González-Moreno, MT Hortalá-González, FJ López-Fraguas, ...
European Symposium on Programming, 156-172, 1996
731996
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
552007
Combining lazy narrowing with disequality constraints
P Arenas-Sánchez, A Gil-Luezas, FJ López-Fraguas
International Symposium on Programming Language Implementation and Logic …, 1994
431994
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
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
392004
Rewriting and call-time choice: the HO case
FJ López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
International Symposium on Functional and Logic Programming, 147-162, 2008
382008
A new generic scheme for functional logic programming with constraints
FJL Fraguas, MR Artalejo, R del Vado Vírseda
Higher-Order and Symbolic Computation 20 (1-2), 73-122, 2007
342007
A functional-logic perspective of parsing
R Caballero, FJ López-Fraguas
International Symposium on Functional and Logic Programming, 85-99, 1999
341999
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
332004
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
Fractional differentiation for the Gaussian measure and applications
IA López, WO Urbina
Bulletin des sciences mathematiques 128 (7), 587-603, 2004
282004
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
272004
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
Proving failure in functional logic programs
FJ López-Fraguas, J Sánchez-Hernández
International Conference on Computational Logic, 179-193, 2000
232000
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
172001
A model for mathematical analysis of functional logic programs and their implementations
E Boerger, FJ López-Fraguas, M Rodríguez-Artalejo
161994
The system can't perform the operation now. Try again later.
Articles 1–20