The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francisco Bueno: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
    On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:155-169 [Conf]
  2. Francisco Bueno
    Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:281-295 [Conf]
  3. Michael Codish, Vitaly Lagoon, Francisco Bueno
    Sharing Analysis for Logic Programs using Set Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:29-40 [Conf]
  4. Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
    The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:105-110 [Conf]
  5. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
    From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:114-132 [Conf]
  6. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Abstract Verification and Debugging of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:1-14 [Conf]
  7. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    A Framework for Assertion-Based Debugging in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:472- [Conf]
  8. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    An Assertion Language for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:23-62 [Conf]
  9. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    A Generic Processor for Program Validation and Debugging. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:63-107 [Conf]
  10. Francisco Bueno
    Agent Programming in Ciao Prolog. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:1-2 [Conf]
  11. Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
    Global Analysis of Standard Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:108-124 [Conf]
  12. Francisco Bueno, Manuel V. Hermenegildo
    An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:759-769 [Conf]
  13. Francisco Bueno, Maria J. García de la Banda
    Set-Sharing Is Not Always Redundant for Pair-Sharing. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:117-131 [Conf]
  14. Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
    Multivariant Non-failure Analysis via Standard Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:100-116 [Conf]
  15. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Program Debugging and Validation Using Semantic Approximations and Partial Specifications. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:69-72 [Conf]
  16. Francisco Bueno, Michael Codish, Vitaly Lagoon
    Sharing Analysis Using Set Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:417- [Conf]
  17. Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
    Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:52-66 [Conf]
  18. Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
    Experiments in Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:163-178 [Conf]
  19. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
    A model for inter-module analysis and optimizing compilation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  20. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
    A Model for Inter-module Analysis and Optimizing Compilation. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:86-102 [Conf]
  21. Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
    Determinacy Analysis for Logic Programs Using Mode and Type Information. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:19-35 [Conf]
  22. M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo
    Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:177-195 [Conf]
  23. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:273-292 [Conf]
  24. Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    A Generic Framework for Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:233-260 [Conf]
  25. Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo
    A Study of Set-Sharing Analysis via Clique. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:31-45 [Conf]
  26. Claudio Vaucheret, Francisco Bueno
    More Precise Yet Efficient Type Inference for Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2002, pp:63-76 [Conf]
  27. Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo
    Efficient Top-Down Set-Sharing Analysis Using Cliques. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:183-198 [Conf]
  28. Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
    Towards Independent And-Parallelism in CLP. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:77-91 [Conf]
  29. Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
    Towards a Concurrent Semantics based Analysis of CC and CLP. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:151-161 [Conf]
  30. Michael Codish, Vitaly Lagoon, Francisco Bueno
    An Algebraic Approach to Sharing Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:68-82 [Conf]
  31. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:127-152 [Conf]
  32. Claudio Vaucheret, Francisco Bueno
    More Precise Yet Efficient Type Inference for Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:102-116 [Conf]
  33. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
    Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:320-336 [Conf]
  34. Claudio Vaucheret, Francisco Bueno
    More Precise Yet Efficient Type Inference for Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  35. Michael Codish, Vitaly Lagoon, Francisco Bueno
    An Algebraic Approach to Sharing Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:2, pp:111-149 [Journal]
  36. Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
    Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:2, pp:165-218 [Journal]
  37. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
    Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:51-82 [Journal]
  38. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:115-140 [Journal]
  39. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
    Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:2, pp:189-239 [Journal]

  40. An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. [Citation Graph (, )][DBLP]


  41. A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. [Citation Graph (, )][DBLP]


  42. A study of set-sharing analysis via cliques [Citation Graph (, )][DBLP]


  43. Towards Parameterized Regular Type Inference Using Set Constraints [Citation Graph (, )][DBLP]


Search in 0.068secs, Finished in 0.070secs
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