default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancisco Bueno
- > Home > Persons > Francisco Bueno
Publications
- 2018
[j11]Pedro López-García
, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo:
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. 18(2): 167-223 (2018)- [i4]Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo:
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR abs/1803.04451 (2018) - 2013
- [j10]Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo:
Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - 2012
- [j9]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla:
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12(1-2): 219-252 (2012) - 2011
- [c38]Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo:
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA 2011: 54-71 - [c37]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla:
An Overview of the Ciao System. RuleML Europe 2011: 2 - [i3]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla:
An overview of Ciao and its design philosophy. CoRR abs/1102.5497 (2011) - 2010
- [j7]Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo:
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Gener. Comput. 28(2): 177-206 (2010) - [i2]Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo:
Towards Parameterized Regular Type Inference Using Set Constraints. CoRR abs/1002.1836 (2010) - 2008
- [c35]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, 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
- [c34]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198 - 2005
- [j6]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). Sci. Comput. Program. 58(1-2): 115-140 (2005) - [c33]Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno:
Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178 - [c32]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45 - [i1]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
A study of set-sharing analysis via cliques. CoRR abs/cs/0508112 (2005) - 2004
- [c31]Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo:
Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116 - [c29]Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo:
Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35 - [p2]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. Program Development in Computational Logic 2004: 233-260 - 2003
- [c28]Manuel 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
- [c27]Manuel 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 - [c26]Manuel 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 - 2000
- [c22]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 - [c21]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 - [c20]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. LOPSTR 2000 - [c19]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. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102 - 1999
- [j3]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) - [j2]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. ACM Trans. Program. Lang. Syst. 21(2): 189-239 (1999) - [c18]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 - [c17]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292 - [p1]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno:
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. The Logic Programming Paradigm 1999: 161-192 - 1998
- [j1]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) - [c16]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472 - 1997
- [c15]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. AADEBUG 1997: 155-169 - 1996
- [c11]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 - [c10]Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla:
Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124 - [c9]Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo:
Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91 - 1994
- [c7]Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi:
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132 - [c6]Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo:
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. PASCO 1994: 63-73 - [c5]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 - [c4]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. ILPS 1994: 320-336 - 1993
- [c3]Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Contextual Nets and Constraint Logic Programming. ICLP Workshop on Concurrent Constraint Programming 1993 - [c2]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
- [c1]Francisco Bueno, Manuel V. Hermenegildo:
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS 1992: 759-769
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
