Francisco Bueno

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno et al. · Science of Computer Programming · 2005 · 181 citations · Full text

Program Checking, Engineering, Program Analysis +15

An overview of Ciao and its design philosophy

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro et al. · Theory and Practice of Logic Programming · 2011 · 148 citations

Engineering, Design Philosophy, Software Engineering +27

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

Francisco Bueno, Pierre Deransart, Włodzimierz Drabent et al. · 1997 · 64 citations

Applied Logic, Computational Logic, Contraint Logic Programs +10

Effectiveness of global analysis in strict independence-based automatic parallelization

Francisco Bueno, María García de la Banda, Manuel V. Hermenegildo · International Conference on Logic Programming · 1994 · 63 citations

Cluster Computing, Engineering, Computer Architecture +19

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

Manuel V. Hermenegildo, Francisco Bueno · UPM Digital Archive (Technical University of Madrid) · 1996 · 54 citations · Full text