Person: Francisco Bueno

DBLP: Bueno:Francisco

Contributed to:

2010

2006

2005

2004

2004

2004

2003

2002

2002

2000

2000

1999

1999

1997

1997

1996

1996

1994

1994

1993

Wrote 21 papers:

ICLP-2010-Lopez-GarciaDB10 #debugging #framework #resource management #verification

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification (PLG, LD, FB), pp. 104–113.

PADL-2006-NavasBH #analysis #clique #performance #top-down #using

Efficient Top-Down Set-Sharing Analysis Using Cliques (JAN, FB, MVH), pp. 183–198.

LOPSTR-2005-CorreasPHB #analysis #composition #source code

Experiments in Context-Sensitive Analysis of Modular Programs (JC, GP, MVH, FB), pp. 163–178.

FLOPS-2004-BuenoB

Set-Sharing Is Not Always Redundant for Pair-Sharing (FB, MJGdlB), pp. 117–131.

FLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard

Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.

LOPSTR-2004-Lopez-GarciaBH #analysis #logic programming #source code #using

Determinacy Analysis for Logic Programs Using Mode and Type Information (PLG, FB, MVH), pp. 19–35.

PDCL-2004-PueblaCHBBMS #analysis #composition #framework #source code

A Generic Framework for Context-Sensitive Analysis of Modular Programs (GP, JC, MVH, FB, MJGdlB, KM, PJS), pp. 233–260.

SAS-2003-HermenegildoPBL #abstract interpretation #development #preprocessor #using

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.

ICALP-2002-HermenegildoPBL #approximate #debugging #semantics #specification #using #validation

Program Debugging and Validation Using Semantic Approximations and Partial Specifications (MVH, GP, FB, PLG), pp. 69–72.

SAS-2002-VaucheretB #logic programming #performance #precise #source code #type inference

More Precise Yet Efficient Type Inference for Logic Programs (CV, FB), pp. 102–116.

LOPSTR-2000-BuenoBHMPS #analysis #compilation #optimisation

A model for inter-module analysis and optimizing compilation (FB, MJGdlB, MVH, KM, GP, PJS).

LOPSTR-J-2000-BuenoBHMPS #analysis #compilation #optimisation

A Model for Inter-module Analysis and Optimizing Compilation (FB, MJGdlB, MVH, KM, GP, PJS), pp. 86–102.

ICLP-1999-HermenegildoBPL #debugging #optimisation #preprocessor #program analysis #using

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.

LOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.

ICLP-1997-BuenoCL #analysis #logic programming #set #source code #using

Sharing Analysis Using Set Logic Programs (FB, MC, VL), p. 417.

SAS-1997-CodishLB #algebra #analysis #approach #logic programming #source code

An Algebraic Approach to Sharing Analysis of Logic Programs (MC, VL, FB), pp. 68–82.

ESOP-1996-BuenoGHP #analysis #prolog #source code #standard

Global Analysis of Standard Prolog Programs (FB, DCG, MVH, GP), pp. 108–124.

PLILP-1996-BandaBH #independence #towards

Towards Independent And-Parallelism in CLP (MJGdlB, FB, MVH), pp. 77–91.

ALP-1994-BuenoHMR #concurrent #semantics #source code

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics (FB, MVH, UM, FR), pp. 114–132.

ILPS-1994-BuenoBH #analysis #automation #effectiveness #parallel #strict

Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization (FB, MJGdlB, MVH), pp. 320–336.

LOPSTR-1993-OlmedillaBH #automation #independence

Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model (MO, FB, MVH), pp. 177–195.