Francisco Bueno

55 papers A* 1A 2B 5C 6Misc 3Journal 15Unranked 21
YearRankTypeTitle / Venue / Authors
2018 J jnl
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption.
CoRR
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018 J jnl
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Theory Pract. Log. Program.
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2013 J jnl
Sized Type Analysis for Logic Programs.
Theory Pract. Log. Program.
Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2012 J jnl
An overview of Ciao and its design philosophy.
Theory Pract. Log. Program.
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
2011 — conf
An Overview of the Ciao System.
RuleML Europe
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011 J jnl
An overview of Ciao and its design philosophy
CoRR
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
2011 — conf
Interval-Based Resource Usage Verification: Formalization and Prototype.
FOPARA
Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
2010 — conf
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.
ICLP (Technical Communications)
Pedro López-García, Luthfi Darmawan, Francisco Bueno
2010 J jnl
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.
New Gener. Comput.
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2010 J jnl
Enrichment of text documents using information retrieval techniques in a distributed environment.
Expert Syst. Appl.
Francisco Bueno, Ana García-Serrano, José Luis Martínez-Fernández
2010 J jnl
Towards Parameterized Regular Type Inference Using Set Constraints
CoRR
Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo
2008 — conf
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Concurrency, Graphs and Models
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
2006 C conf
Efficient Top-Down Set-Sharing Analysis Using Cliques.
PADL
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
2005 — conf
A Study of Set-Sharing Analysis via Clique.
WLPE
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
2005 J jnl
A study of set-sharing analysis via cliques.
CoRR
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
2005 C conf
Experiments in Context-Sensitive Analysis of Modular Programs.
LOPSTR
Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
2005 J jnl
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).
Sci. Comput. Program.
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2004 — ch.
A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Program Development in Computational Logic
Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
2004 C conf
Determinacy Analysis for Logic Programs Using Mode and Type Information.
LOPSTR
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2004 Misc conf
Multivariant Non-failure Analysis via Standard Abstract Interpretation.
FLOPS
Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
2004 Misc conf
Set-Sharing Is Not Always Redundant for Pair-Sharing.
FLOPS
Francisco Bueno, Maria J. García de la Banda
2003 B conf
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).
SAS
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002 — conf
Abstract Verification and Debugging of Constraint Logic Programs.
International Workshop on Constraint Solving and Constraint Logic Programming
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002 — conf
More Precise Yet Efficient Type Inference for Logic Programs.
WLPE
Claudio Vaucheret, Francisco Bueno
2002 B conf
More Precise Yet Efficient Type Inference for Logic Programs.
SAS
Claudio Vaucheret, Francisco Bueno
2002 J jnl
OmniPaper: Acceso Inteligente a Periódicos Europeos.
Proces. del Leng. Natural
José Carlos González Cristóbal, Julio Villena, Francisco Bueno, Ana García-Serrano, Alberto Ruiz-Cristina, Paloma Martínez Fernández
2002 A* conf
Program Debugging and Validation Using Semantic Approximations and Partial Specifications.
ICALP
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2001 Misc conf
Agent Programming in Ciao Prolog.
EPIA
Francisco Bueno
2000 — conf
A Generic Processor for Program Validation and Debugging.
Analysis and Visualization Tools for Constraint Programming
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
2000 — conf
A Model for Inter-module Analysis and Optimizing Compilation.
LOPSTR (LNCS 2042: Selected Papers)
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000 C conf
A model for inter-module analysis and optimizing compilation.
LOPSTR
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000 J jnl
An Algebraic Approach to Sharing Analysis of Logic Programs.
J. Log. Program.
Michael Codish, Vitaly Lagoon, Francisco Bueno
2000 — conf
An Assertion Language for Constraint Logic Programs.
Analysis and Visualization Tools for Constraint Programming
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1999 J jnl
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism.
J. Log. Program.
Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1999 C conf
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.
LOPSTR
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1999 J jnl
Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.
ACM Trans. Program. Lang. Syst.
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1999 B conf
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.
ICLP
Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
1999 — ch.
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.
The Logic Programming Paradigm
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno
1998 A conf
A Framework for Assertion-Based Debugging in Constraint Logic Programming.
CP
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1998 J jnl
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Sci. Comput. Program.
Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
1997 B conf
An Algebraic Approach to Sharing Analysis of Logic Programs.
SAS
Michael Codish, Vitaly Lagoon, Francisco Bueno
1997 — conf
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.
AADEBUG
Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
1997 B conf
Sharing Analysis Using Set Logic Programs.
ICLP
Francisco Bueno, Michael Codish, Vitaly Lagoon
1996 A conf
Global Analysis of Standard Prolog Programs.
ESOP
Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
1996 — conf
Sharing Analysis for Logic Programs using Set Logic Programs.
APPIA-GULP-PRODE
Michael Codish, Vitaly Lagoon, Francisco Bueno
1996 — conf
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
APPIA-GULP-PRODE
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
1996 — conf
Towards Independent And-Parallelism in CLP.
PLILP
Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
1994 — conf
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs.
PASCO
Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo
1994 — conf
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization.
ILPS
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1994 — conf
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.
ALP
Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
1994 — conf
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited.
GULP-PRODE (1)
Francisco Bueno
1994 — conf
Towards a Concurrent Semantics based Analysis of CC and CLP.
PPCP
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1993 C conf
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.
LOPSTR
M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo
1993 — conf
Contextual Nets and Constraint Logic Programming.
ICLP Workshop on Concurrent Constraint Programming
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1992 — conf
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language.
FGCS
Francisco Bueno, Manuel V. Hermenegildo