|
Search the dblp DataBase
Francisco Javier López-Fraguas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rafael Caballero, Francisco Javier López-Fraguas
Parsing with Non-Deterministic Functions. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1998, pp:87-100 [Conf]
- Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán
Real Constraints within a Functional Logic Language. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:451-464 [Conf]
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Disequalities May Help to Narrow. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1999, pp:89-104 [Conf]
- Francisco Javier López-Fraguas
A General Scheme for Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:213-227 [Conf]
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Proving Failure in Functional Logic Programs. [Citation Graph (0, 0)][DBLP] Computational Logic, 2000, pp:179-193 [Conf]
- Rafael Caballero, Francisco Javier López-Fraguas
Extensions: A Technique for Structuring Functional-Logic Programs. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 1999, pp:297-310 [Conf]
- J. C. González-Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Rewriting Logic for Declarative Programming. [Citation Graph (0, 0)][DBLP] ESOP, 1996, pp:156-172 [Conf]
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Narrowing Failure in Functional Logic Programming. [Citation Graph (0, 0)][DBLP] FLOPS, 2002, pp:212-227 [Conf]
- Rafael Caballero, Francisco Javier López-Fraguas
Dynamic-Cut with Definitional Trees. [Citation Graph (0, 0)][DBLP] FLOPS, 2002, pp:245-258 [Conf]
- Rafael Caballero, Francisco Javier López-Fraguas
A Functional-Logic Perspective on Parsing. [Citation Graph (0, 0)][DBLP] Fuji International Symposium on Functional and Logic Programming, 1999, pp:85-99 [Conf]
- Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP] FLOPS, 2001, pp:170-184 [Conf]
- Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
Implementing a Lazy Functional Logic Language with Disequality Constraints. [Citation Graph (0, 0)][DBLP] JICSLP, 1992, pp:207-221 [Conf]
- Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. [Citation Graph (0, 0)][DBLP] IFIP Congress (1), 1994, pp:410-415 [Conf]
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Functional Logic Programming with Failure: A Set-Oriented View. [Citation Graph (0, 0)][DBLP] LPAR, 2001, pp:455-469 [Conf]
- Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas
Combining Lazy Narrowing with Disequality Constraints. [Citation Graph (0, 0)][DBLP] PLILP, 1994, pp:385-399 [Conf]
- Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo
Embedding Multiset Constraints into a Lazy Functional Logic Language. [Citation Graph (0, 0)][DBLP] PLILP/ALP, 1998, pp:429-444 [Conf]
- Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Demand Driven Computation Strategy for Lazy Narrowing. [Citation Graph (0, 0)][DBLP] PLILP, 1993, pp:184-200 [Conf]
- Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo
Functional Plus Logic Programming with Built-In and Symbolic Constraints. [Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:152-169 [Conf]
- José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas
A logic programming approach to the verification of functional-logic programs. [Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:9-19 [Conf]
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A lazy narrowing calculus for declarative constraint programming. [Citation Graph (0, 0)][DBLP] PPDP, 2004, pp:43-54 [Conf]
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
TOY: A Multiparadigm Declarative System. [Citation Graph (0, 0)][DBLP] RTA, 1999, pp:244-247 [Conf]
- Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. [Citation Graph (0, 0)][DBLP] WFLP, 2000, pp:8-22 [Conf]
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Constraint Functional Logic Programming Revisited. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:5-50 [Journal]
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Failure and equality in functional logic programming. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
- José Miguel Cleva, Francisco Javier López-Fraguas
Semantic Determinism and Functional Logic Program Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:3-15 [Journal]
- Francisco Javier López-Fraguas
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:1-3 [Journal]
- J. C. 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. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:40, n:1, pp:47-87 [Journal]
- Francisco Javier López-Fraguas
Programming and Languages. [Citation Graph (0, 0)][DBLP] J. UCS, 2006, v:12, n:11, pp:1464-1465 [Journal]
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
A Proof Theoretic Approach to Failure in Functional Logic Programming. [Citation Graph (0, 0)][DBLP] TPLP, 2004, v:4, n:1-2, pp:41-74 [Journal]
- Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
A simple rewrite notion for call-time choice semantics. [Citation Graph (0, 0)][DBLP] PPDP, 2007, pp:197-208 [Conf]
- Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
Equivalence of Two Formal Semantics for Functional Logic Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:117-142 [Journal]
- Javier de Dios Castro, Francisco Javier López-Fraguas
Extra Variables Can Be Eliminated from Functional Logic Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:3-19 [Journal]
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A new generic scheme for functional logic programming with constraints. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:73-122 [Journal]
Rewriting and Call-Time Choice: The HO Case. [Citation Graph (, )][DBLP]
A Complete Axiomatization of Strict Equality. [Citation Graph (, )][DBLP]
A flexible framework for programming with non-deterministicfunctions. [Citation Graph (, )][DBLP]
A Fully Abstract Semantics for Constructor Systems. [Citation Graph (, )][DBLP]
New Results on Type Systems for Functional Logic Programming. [Citation Graph (, )][DBLP]
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. [Citation Graph (, )][DBLP]
A Lightweight Combination of Semantics for Non-deterministic Functions [Citation Graph (, )][DBLP]
A Formalization of the Semantics of Functional-Logic Programming in Isabelle [Citation Graph (, )][DBLP]
The Full Abstraction Problem for Higher Order Functional-Logic Programs [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs
|