The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francisco Javier López-Fraguas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Francisco Javier López-Fraguas
    A General Scheme for Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:213-227 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Rafael Caballero, Francisco Javier López-Fraguas
    Dynamic-Cut with Definitional Trees. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:245-258 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Francisco Javier López-Fraguas
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:1-3 [Journal]
  27. 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]
  28. Francisco Javier López-Fraguas
    Programming and Languages. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1464-1465 [Journal]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]

  34. Rewriting and Call-Time Choice: The HO Case. [Citation Graph (, )][DBLP]


  35. A Complete Axiomatization of Strict Equality. [Citation Graph (, )][DBLP]


  36. A flexible framework for programming with non-deterministicfunctions. [Citation Graph (, )][DBLP]


  37. A Fully Abstract Semantics for Constructor Systems. [Citation Graph (, )][DBLP]


  38. New Results on Type Systems for Functional Logic Programming. [Citation Graph (, )][DBLP]


  39. Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. [Citation Graph (, )][DBLP]


  40. A Lightweight Combination of Semantics for Non-deterministic Functions [Citation Graph (, )][DBLP]


  41. A Formalization of the Semantics of Functional-Logic Programming in Isabelle [Citation Graph (, )][DBLP]


  42. The Full Abstraction Problem for Higher Order Functional-Logic Programs [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002