MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Francisco Bueno" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Combined Static and Dynamic Assertion-based Debugging of Constraint Logic Programs
by Francisco Bueno, Manuel Hermenegildo — 2000 — In Logic-based Program Synthesis and Transformation (LOPSTR’99), number 1817 in LNCS
…'an Puebla, Francisco Bueno, and Manuel Hermenegildo fgerman,bueno,hermeg@(email omitted); Department of Computer…
Cited by 12 (8 self) – Add To MetaCart

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor
by Manuel Hermenegildo, Francisco Bueno — 1999 — In 1999 International Conference on Logic Programming
…. Hermenegildo Francisco Bueno German Puebla Pedro Lopez fherme,bueno,german,pedrog@(email omitted); School…
Cited by 32 (14 self) – Add To MetaCart

More precise yet efficient type inference for logic programs
by Claudio Vaucheret, Francisco Bueno — 2002 — In Proc. of SAS’02
… Programs Claudio Vaucheret and Francisco Bueno Technical University of Madrid (UPM), Spain {claudio,bueno…
Cited by 22 (1 self) – Add To MetaCart

Static Incorrectness Diagnosis of CLP(FD)
by Pawel Pietrzak, German Puebla, Francisco Bueno, John Lloyd
… Puebla, Francisco Bueno and John Lloyd. John Gallagher has explained some of details of the regular…
Add To MetaCart

An Assertion Language for Debugging of Constraint Logic Programs
by Germán Puebla, Francisco Bueno, Manuel Hermenegildo — 1997 — In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming
…An Assertion Language for Debugging of Constraint Logic Programs Germ'an Puebla Francisco Bueno…
Cited by 10 (6 self) – Add To MetaCart

A Framework for Assertion-based Debugging in Constraint Logic Programming
by Germán Puebla, Francisco Bueno, Manuel Hermenegildo — 1998 — In Proceedings of the JICSLP'98 Workshop on Types for CLP
…A Framework for Assertion-based Debugging in Constraint Logic Programming German Puebla, Francisco…
Cited by 8 (2 self) – Add To MetaCart

An Algebraic Approach to Sharing Analysis of Logic Programs
by Michael Codish, Vitaly Lagoon, Francisco Bueno — 1997 — Journal of Logic Programming
… Francisco Bueno Abstract This paper describes an algebraic approach to the sharing analysis of logic…
Cited by 13 (7 self) – Add To MetaCart

Efficient top-down set-sharing analysis using cliques
by Jorge Navas, Francisco Bueno, Manuel Hermenegildo — 2006 — In Eight International Symposium on Practical Aspects of Declarative Languages, number 2819 in LNCS
…Efficient Top-Down Set-Sharing Analysis Using Cliques Jorge Navas 1 , Francisco Bueno 2…
Cited by 2 (2 self) – Add To MetaCart

An Introductory Course on Constraint Logic Programming
by Manuel Carro, Coordination Manuel Carro, Francisco Bueno, Daniel Cabeza
…: Manuel Hermenegildo Francisco Bueno Daniel Cabeza M a Jos'e Garc'ia Pedro L'opez Germ'an Puebla…
Add To MetaCart

Program Development Using Abstract Interpretation (and The Ciao System Preprocessor
by Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-garcía — 2003 — In 10th International Static Analysis Symposium (SAS’03), number 2694 in LNCS
…. Hermenegildo 1,2 , Germán Puebla 1 , Francisco Bueno 1 , and Pedro López-García 1 1 Department of Computer…
Cited by 28 (21 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB