Francisco Bueno

1. Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
   2005/10/01 by Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno +1 · 2 citations
2. An overview of Ciao and its design philosophy
   2011/02/27 by Manuel V. Hermenegildo, Francisco Bueno, Hermenegildo, M. V. +11 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
3. More Precise Yet Efficient Type Inference for Logic Programs
   2002/07/11 by Claudio A. Vaucheret, Vaucheret, Claudio, Francisco Bueno +1 · 1 citation
   Computer Science · #D.1.6 #D.2.5 #D.2.6 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.3 #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering (cs.SE)