Francisco Javier López-Fraguas Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntónio Porto, Francisco Javier López-Fraguas: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal ACM 2009
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: A flexible framework for programming with non-deterministicfunctions. PEPM 2009: 91-100
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: A Fully Abstract Semantics for Constructor Systems. RTA 2009: 320-334
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: A Lightweight Combination of Semantics for Non-deterministic Functions CoRR abs/0903.2205: (2009)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá: A Formalization of the Semantics of Functional-Logic Programming in Isabelle CoRR abs/0908.0494: (2009)
2008
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Rewriting and Call-Time Choice: The HO Case. FLOPS 2008: 147-162
2007
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. INAP/WLP 2007: 206-222
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: A simple rewrite notion for call-time choice semantics. PPDP 2007: 197-208
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Cleva, Francisco Javier López-Fraguas: Semantic Determinism and Functional Logic Program Properties. Electr. Notes Theor. Comput. Sci. 174(1): 3-15 (2007)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas: Preface. Electr. Notes Theor. Comput. Sci. 177: 1-3 (2007)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández: Equivalence of Two Formal Semantics for Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 188: 117-142 (2007)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier de Dios Castro, Francisco Javier López-Fraguas: Extra Variables Can Be Eliminated from Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 188: 3-19 (2007)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A new generic scheme for functional logic programming with constraints. Higher-Order and Symbolic Computation 20(1-2): 73-122 (2007)
2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas: Programming and Languages. J. UCS 12(11): 1464-1465 (2006)
2005
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Constraint Functional Logic Programming Revisited. Electr. Notes Theor. Comput. Sci. 117: 5-50 (2005)
2004
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A lazy narrowing calculus for declarative constraint programming. PPDP 2004: 43-54
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas: A logic programming approach to the verification of functional-logic programs. PPDP 2004: 9-19
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández: A Proof Theoretic Approach to Failure in Functional Logic Programming. TPLP 4(1-2): 41-74 (2004)
2003
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández: Failure and equality in functional logic programming. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Francisco Javier López-Fraguas: Improving Deterministic Computations in Lazy Functional Logic Languages. Journal of Functional and Logic Programming 2003: (2003)
2002
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández: Narrowing Failure in Functional Logic Programming. FLOPS 2002: 212-227
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Francisco Javier López-Fraguas: Dynamic-Cut with Definitional Trees. FLOPS 2002: 245-258
2001
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. FLOPS 2001: 170-184
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández: Functional Logic Programming with Failure: A Set-Oriented View. LPAR 2001: 455-469
2000
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández: Proving Failure in Functional Logic Programs. Computational Logic 2000: 179-193
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. WFLP 2000: 8-22
1999
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández: Disequalities May Help to Narrow. APPIA-GULP-PRODE 1999: 89-104
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Francisco Javier López-Fraguas: Extensions: A Technique for Structuring Functional-Logic Programs. Ershov Memorial Conference 1999: 297-310
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Francisco Javier López-Fraguas: A Functional-Logic Perspective on Parsing. Fuji International Symposium on Functional and Logic Programming 1999: 85-99
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo: Functional Plus Logic Programming with Built-In and Symbolic Constraints. PPDP 1999: 152-169
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández: TOY: A Multiparadigm Declarative System. RTA 1999: 244-247
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Carlos 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. J. Log. Program. 40(1): 47-87 (1999)
1998
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Caballero, Francisco Javier López-Fraguas: Parsing with Non-Deterministic Functions. APPIA-GULP-PRODE 1998: 87-100
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo: Embedding Multiset Constraints into a Lazy Functional Logic Language. PLILP/ALP 1998: 429-444
1996
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán: Real Constraints within a Functional Logic Language. APPIA-GULP-PRODE 1996: 451-464
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Rewriting Logic for Declarative Programming. ESOP 1996: 156-172
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. IFIP Congress (1) 1994: 410-415
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPuri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas: Combining Lazy Narrowing with Disequality Constraints. PLILP 1994: 385-399
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing. PLILP 1993: 184-200
1992
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Javier López-Fraguas: A General Scheme for Constraint Functional Logic Programming. ALP 1992: 213-227
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Implementing a Lazy Functional Logic Language with Disequality Constraints. JICSLP 1992: 207-221

Coauthor Index

1Javier Leach Albert (Javier Leach) [25]
2Puri Arenas (Puri Arenas-Sánchez) [4] [7] [8] [12]
3Egon Börger [5]
4Rafael Caballero [9] [13] [14] [16] [19] [20] [22]
5Javier de Dios Castro [30]
6José Miguel Cleva [25] [33]
7Ana Gil-Luezas [4]
8Maria Teresa Hortalá-González [6] [7] [10]
9Herbert Kuchen [1]
10Rita Loogen [3]
11Stephan Merz [37]
12Juan Carlos González Moreno [6] [10]
13Juan José Moreno-Navarro [1]
14António Porto [41]
15Mario Rodríguez-Artalejo [1] [3] [5] [6] [10] [16] [19] [26] [27] [29]
16Juan Rodríguez-Hortalá [31] [34] [35] [36] [37] [38] [39] [40]
17Mario Rodrúguez-Arteljo [8] [12]
18Jaime Sánchez-Hernández [11] [15] [17] [18] [21] [23] [24] [31] [34] [35] [36] [38] [39] [40]
19Eva Ullán [7]
20Rafael del Vado Vírseda [26] [27] [29]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Tue Nov 24 16:13:34 2009 by Michael Ley (ley@uni-trier.de)