Francisco Bueno

Publications by Year

Research Areas

Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Logic, Reasoning, and Knowledge, Software Testing and Debugging Techniques

Most-Cited Works

• → Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)(2005)182 cited
• → An overview of Ciao and its design philosophy(2011)148 cited
• → An Assertion Language for Constraint Logic Programs(2000)100 cited
• → Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging(1999)68 cited
• On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs(1997)
• Effectiveness of global analysis in strict independence-based automatic parallelization(1994)
• → More Precise Yet Efficient Type Inference for Logic Programs(2002)61 cited
• → Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor(1999)55 cited
• → Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs(2000)55 cited
• The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems(1996)