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 · 184 citations · Full text

Computing, Computer Engineering, Computer Science +16

An overview of Ciao and its design philosophy

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

Computing, Computer Science, Compilers +13

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

Computing, Computer Science, Knowledge Representation +13

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

Computing, Computer Engineering, Computer Science +14

Effectivness of abstract interpretation in automatic parallelization

Francisco Bueno, María García de la Banda, Manuel V. Hermenegildo · ACM Transactions on Programming Languages and Systems · 1999 · 45 citations · Full text

Computing, Computer Engineering, Computer Science +17