Pedro López-García

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

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

Program development using abstract interpretation (and the ciao system preprocessor)

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno et al. · 2003 · 38 citations

Engineering, Program Analysis, Automated Reasoning +13

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo · Theory and Practice of Logic Programming · 2014 · 37 citations · Full text