dblp.uni-trier.dewww.uni-trier.de

Francisco Bueno

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
41EEManuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, Germán Puebla: An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models 2008: 209-237
2006
40EEJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198
2005
39EEJesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178
38EEJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45
37EEJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: A study of set-sharing analysis via cliques CoRR abs/cs/0508112: (2005)
36EEManuel 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). Sci. Comput. Program. 58(1-2): 115-140 (2005)
2004
35EEFrancisco Bueno, Pedro López-García, Manuel V. Hermenegildo: Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116
34EEFrancisco Bueno, Maria J. García de la Banda: Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS 2004: 117-131
33EEPedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35
32EEGermá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. Program Development in Computational Logic 2004: 233-260
2003
31EEManuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS 2003: 127-152
2002
30EEManuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP 2002: 69-72
29EEManuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 1-14
28EEClaudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs. SAS 2002: 102-116
27EEClaudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs. WLPE 2002: 63-76
26EEClaudio Vaucheret, Francisco Bueno: More Precise Yet Efficient Type Inference for Logic Programs CoRR cs.SE/0207049: (2002)
2001
25EEFrancisco Bueno: Agent Programming in Ciao Prolog. EPIA 2001: 1-2
2000
24 Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming 2000: 23-62
23 Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming 2000: 63-107
22EEFrancisco 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. LOPSTR 2000
21EEFrancisco 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. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102
20 Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. J. Log. Program. 42(2): 111-149 (2000)
1999
19 Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García: Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP 1999: 52-66
18 Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292
17EEFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. Program. Lang. Syst. 21(2): 189-239 (1999)
16 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. J. Log. Program. 38(2): 165-218 (1999)
1998
15EEGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472
14 Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Sci. Comput. Program. 30(1-2): 51-82 (1998)
1997
13EEFrancisco 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. AADEBUG 1997: 155-169
12 Francisco Bueno, Michael Codish, Vitaly Lagoon: Sharing Analysis Using Set Logic Programs. ICLP 1997: 417
11 Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. SAS 1997: 68-82
1996
10 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. APPIA-GULP-PRODE 1996: 105-110
9 Michael Codish, Vitaly Lagoon, Francisco Bueno: Sharing Analysis for Logic Programs using Set Logic Programs. APPIA-GULP-PRODE 1996: 29-40
8 Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124
7 Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91
1994
6 Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132
5 Francisco Bueno: Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. GULP-PRODE (1) 1994: 281-295
4 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. PPCP 1994: 151-161
3 Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. SLP 1994: 320-336
1993
2 M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo: Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR 1993: 177-195
1992
1 Francisco Bueno, Manuel V. Hermenegildo: An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS 1992: 759-769

Coauthor Index

1Maria Garcia de la Banda (Maria J. García de la Banda) [3] [4] [7] [10] [16] [17] [21] [22] [32] [34]
2Daniel Cabeza (Daniel Cabeza Gras) [8] [10]
3Manuel Carro [10] [41]
4Michael Codish [9] [11] [12] [20]
5Jesús Correas [32] [39]
6Pierre Deransart [13]
7Wlodzimierz Drabent (Wlodek Drabent) [13]
8Gérard Ferrand [13]
9Manuel V. Hermenegildo [1] [2] [3] [4] [6] [7] [8] [10] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [29] [30] [31] [32] [33] [35] [36] [37] [38] [39] [40] [41]
10Vitaly Lagoon [9] [11] [12] [20]
11Pedro López [41]
12Pedro López-García [10] [19] [29] [30] [31] [33] [35] [36]
13Jan Maluszynski [13]
14Kim Marriott [21] [22] [32]
15Ugo Montanari [4] [6] [14]
16José F. Morales [41]
17Kalyan Muthukumar [16]
18Jorge Navas [37] [38] [40]
19M. Olmedilla [2]
20Germán Puebla (German Puebla) [8] [10] [13] [15] [18] [19] [21] [22] [23] [24] [29] [30] [31] [32] [36] [39] [41]
21Francesca Rossi [4] [6] [14]
22Peter J. Stuckey [21] [22] [32]
23Claudio Vaucheret [26] [27] [28]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)