Search the dblp DataBase

Publications of Author

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