| 2008 |
|---|
| 6 | EE | Pawel Pietrzak,
Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo:
A practical type analysis for verification of modular prolog programs.
PEPM 2008: 61-70 |
| 2006 |
|---|
| 5 | EE | Pawel Pietrzak,
Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo:
Context-Sensitive Multivariant Assertion Checking in Modular Programs.
LPAR 2006: 392-406 |
| 2005 |
|---|
| 4 | EE | Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo,
Francisco Bueno:
Experiments in Context-Sensitive Analysis of Modular Programs.
LOPSTR 2005: 163-178 |
| 2004 |
|---|
| 3 | EE | Jesús Correas,
J. M. Gómez,
Manuel Carro,
Daniel Cabeza,
Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).
PADL 2004: 104-119 |
| 2 | EE | Germán Puebla,
Jesús Correas,
Manuel V. Hermenegildo,
Francisco Bueno,
Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Program Development in Computational Logic 2004: 233-260 |
| 2003 |
|---|
| 1 | EE | Jesús Correas,
J. M. Gómez,
Manuel Carro,
Daniel Cabeza Gras,
Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems.
ICLP 2003: 481-482 |
