Francisco Bueno Carrillo

The ciao prolog system

Francisco Bueno Carrillo, Daniel Gras, Manuel Carro Liñares et al. · 2002 · 62 citations

Engineering, Well-founded Semantics, Software Engineering +19

On the role of semantic approximations in validation and diagnosis of constraint logic programs

Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent et al. · International Colloquium on Automata, Languages and Programming · 1997 · 60 citations

Constraint Solving, Engineering, Constraint Satisfaction +12

An assertion language for debugging of constraint logic programs

Alvaro Germán Puebla Sánchez, Francisco Bueno Carrillo, Manuel V. Hermenegildo · 1997 · 21 citations

Program Checking, Engineering, Program Analysis +10

A comparative study of methods for automatic compile-time parallelization of logic programs

Francisco Bueno Carrillo, María García de la Banda, Manuel V. Hermenegildo · 1994 · 13 citations

Engineering, Compiler Technology, Computer Architecture +23

A Framework for Verification and Debugging of Resource Usage Properties

Francisco Bueno Carrillo · International Conference on Logic Programming · 2010 · 12 citations

Software Maintenance, Static Debugging, Program Checking +21