Francisco Bueno - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 50 from 50

2013

Sized Type Analysis for Logic ProgramsAlejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo. tplp, 13(4-5-Online-Supplement), 2013. [doi]

2012

An overview of Ciao and its design philosophyManuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla. tplp, 12(1-2):219-252, 2012. [doi]

2011

An Overview of the Ciao SystemManuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla. ruleml 2011: 2 [doi]

Interval-Based Resource Usage Verification: Formalization and PrototypePedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo. FOPARA 2012: 54-71 [doi]

2010

Enrichment of text documents using information retrieval techniques in a distributed environmentFrancisco Bueno, Ana García-Serrano, José Luis Martínez-Fernández. eswa, 37(12):8348-8358, 2010. [doi]

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage VerificationPedro López-García, Luthfi Darmawan, Francisco Bueno. ICLP 2010: 104-113 [doi]

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type AnalysesPedro López-García, Francisco Bueno, Manuel V. Hermenegildo. ngc, 28(2):177-206, 2010. [doi]

2008

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design PhilosophyManuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, Germán Puebla. birthday 2008: 209-237 [doi]

2006

Efficient Top-Down Set-Sharing Analysis Using CliquesJorge Navas, Francisco Bueno, Manuel V. Hermenegildo. PADL 2006: 183-198 [doi]

2005

2004

2003

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor)Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García. SAS 2003: 127-152 [doi]

2002

2001

Agent Programming in Ciao PrologFrancisco Bueno. epia 2001: 1-2 [doi]

2000

1999

Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic ProgrammingFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. TOPLAS, 21(2):189-239, 1999. [doi]

Program Analysis, Debugging, and Optimization Using the Ciao System PreprocessorManuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García. ICLP 1999: 52-66

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and DebuggingManuel V. Hermenegildo, Germán Puebla, Francisco Bueno. In Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren, editors, The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, pages 161-192, Springer, 1999. [doi]

Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and ParallelismKalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. jlp, 38(2):165-218, 1999.

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic ProgramsGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo. LOPSTR 2000: 273-292

1998

Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC ProgramsFrancisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi. SCP, 30(1-2):51-82, 1998.

A Framework for Assertion-Based Debugging in Constraint Logic ProgrammingGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo. cp 1998: 472 [doi]

1997

1996

1994

Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms RevisitedFrancisco Bueno. agp 1994: 281-295

Effectiveness of Global Analysis in Strict Independence-Based Automatic ParallelizationFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. SLP 1994: 320-336

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent SemanticsFrancisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi. icalp 1994: 114-132

A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic ProgramsFrancisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo. pasco 1994: 63-73

Towards a Concurrent Semantics based Analysis of CC and CLPUgo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. ppcp 1994: 151-161

1993

Contextual Nets and Constraint Logic ProgrammingUgo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. ICLP 1993:

Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra ModelM. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo. LOPSTR 1993: 177-195

1992

An Automatic Translation Scheme from Prolog to the Andorra Kernel LanguageFrancisco Bueno, Manuel V. Hermenegildo. fgcs 1992: 759-769

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Francisco Bueno'

Viewing Publication 1 - 50 from 50

2013

2012

2011

2010

2008

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1994

1993

1992

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Francisco Bueno'

Viewing Publication 1 - 50 from 50

2013

2012

2011

2010

2008

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1994

1993

1992

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1