F
Francisco Javier López-Fraguas
Researcher at Complutense University of Madrid
Publications - 56
Citations - 1459
Francisco Javier López-Fraguas is an academic researcher from Complutense University of Madrid. The author has contributed to research in topics: Logic programming & Functional logic programming. The author has an hindex of 17, co-authored 56 publications receiving 1446 citations. Previous affiliations of Francisco Javier López-Fraguas include University of Central Missouri.
Papers
More filters
Curry: An Integrated Functional Logic Language
Michael Hanus,Sergio Antoy,Herbert Kuchen,Francisco Javier López-Fraguas,Wolfgang Lux,Juan José Moreno Navarro,Frank Steiner +6 more
TL;DR: A Curry program is defined as a well-typed program that is equivalent to a type expression in the sense that all the rules of the program can be expressed by a type scheme as mentioned in this paper.
Book ChapterDOI
TOY: A Multiparadigm Declarative System
TL;DR: The implementation is based on a compilation of TOY programs into Prolog, a wide theoretical framework for declarative programming whose basis is a constructor based rewriting logic with lazy non-deterministic functions as the core notion.
Journal ArticleDOI
An approach to declarative programming based on a rewriting logic
Juan C. González-Moreno,M.T. Hortalá-González,Francisco Javier López-Fraguas,Mario Rodríguez-Artalejo +3 more
TL;DR: An approach to declarative programming which integrates the functional and relational paradigms by taking possibly non-deterministic lazy functions as the fundamental notion is proposed and the existence of free term models which provide an adequate intended semantics for programs is proved.
Book ChapterDOI
A Demand Driven Computation Strategy for Lazy Narrowing
TL;DR: This paper specifies a computation strategy for lazy conditional narrowing, based on the idea of transforming patterns into decision trees to control the computation, as a translation of CTRS into Prolog, which makes it executable and portable.
Book ChapterDOI
A Rewriting Logic for Declarative Programming
Juan C. González-Moreno,Maria Teresa Hortalá-González,Francisco Javier López-Fraguas,Mario Rodríguez-Artalejo +3 more
TL;DR: An approach to declarative programming which integrates the functional and relational paradigms by taking possibly non-deterministic lazy functions as the fundamental notion is proposed and the existence of free term models which provide an adequate intended semantics for programs is proved.