| 2008 |
|---|
| 11 | 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 |
| 2007 |
|---|
| 10 | EE | Pawel Pietrzak,
Manuel V. Hermenegildo:
Automatic Binding-Related Error Diagnosis in Logic Programs.
ICLP 2007: 333-347 |
| 2006 |
|---|
| 9 | EE | Pawel Pietrzak,
Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo:
Context-Sensitive Multivariant Assertion Checking in Modular Programs.
LPAR 2006: 392-406 |
| 2002 |
|---|
| 8 | EE | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs
CoRR cs.PL/0202010: (2002) |
| 7 | | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs.
TPLP 2(4-5): 549-610 (2002) |
| 2001 |
|---|
| 6 | | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Parametric Descriptive Types for CLP.
JFPLC 2001: 239-256 |
| 2000 |
|---|
| 5 | | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Locating Type Errors in Untyped CLP Programs.
Analysis and Visualization Tools for Constraint Programming 2000: 121-150 |
| 1999 |
|---|
| 4 | | Marco Comini,
Wlodzimierz Drabent,
Pawel Pietrzak:
Diagnosis of CHIP Programs Using Type Information.
APPIA-GULP-PRODE 1999: 337-350 |
| 3 | EE | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Type-based Diagnosis of CLP Programs.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
| 1998 |
|---|
| 2 | EE | Wlodzimierz Drabent,
Pawel Pietrzak:
Type Analysis for CHIP.
AMAST 1998: 389-405 |
| 1997 |
|---|
| 1 | | Pawel Pietrzak:
Type Inference for CLP(FD).
ILPS 1997: 407 |
