News

Research

• Constraint Logic Programming (CLP),
• Correctness and verification of programs,
• Types in (C)LP,
• Static analysis,
• Applications of CLP.

• Ciao/CiaoPP
• ASAP Project
• DiSCiPl Project.

Publications and reports

Journal papers and book chapters

1. W. Drabent, J. Maluszynski, P. Pietrzak: Using parametric set constraints for locating errors in CLP programs. Theory and Practice of Logic Programming. 2(4-5), pp.549-611, 2002, (available from CoRR).
2. W. Drabent, J. Maluszynski, P. Pietrzak. Locating Type Errors in Untyped CLP Programs. Chapter 4 in: P. Deransart, M. Hermenegildo, J. Maluszynski (eds.) Analysis and Visualization Tools for Constraint Programming, volume 1870 of LNCS,  pp.121-150, Springer-Verlag, 2000.

Conferences, workshops

1. P. Pietrzak, M. Hermenegildo. Automatic Binding-related Error Diagnosis in Logic Programs. International Conference on Logic Programming (ICLP'07), LNCS, 15 pages, Springer-Verlag, September 2007. To appear.
2. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. In 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS 4246, pp. 392-406, Springer-Verlag, November 2006. (pdf)
3. W. Drabent, J. Maluszynski, P. Pietrzak. Parametric Descriptive Types for (C)LP. In P. Codognet (ed.): The Tenth International French Speaking Conference on Logic and Constraint Programming, pp.239-254, Hermes Science Publications, Paris, April, 2001.
4. P. Pietrzak: Scheduling with commnunication delays: an experiment with CHIP. In J.Figwer (ed.): Proc. of the 2nd Workshop on Constraint Programming in Decision and Control.  pp.45-51, Gliwice, June, 2000.
5. W. Drabent , J. Maluszynski, P. Pietrzak: Type-based Diagnosis of CLP Programs. Electronic Notes in Theoretical Computer Science, 30(4), 2000. (preliminary version appeared in Proc. of 10th Workshop on Logic Programming Environments. Las Cruces, NM, 1999.)
6. W. Drabent, P. Pietrzak. Type Analysis for CHIP. In: Proc. of the Seventh International Conference on Algebraic Methotology and Software Technology (AMAST'98), volume 1548 of LNCS. pp. 389-405, Springer-Verlag, 1999.
7. M Comini, W. Drabent, P. Pietrzak. Diagnosis of CHIP programs using type information.In: APPIA-GULP-PRODE'99 - 1999 Joint Conference on Declarative Programming , L'Aquila, Italy, 1999 (preliminary version appeared in Proceedings of Types for Constraint Logic Programming, post-conference workshop of JICSLP'98, Manchester, 1998).
8. P. Pietrzak: Type Inference for CLP(FD), In: Proceedings of the International Logic Programming Symposium 97, MIT Press, 1997. Poster abstract. Extended version in the Workshop on Tools and Environments for (Constraint) Logic Programming, Port Jefferson, NY, 1997.

Reports

1. P. Pietrzak, M. Hermenegildo. Improved Automatic Error Diagnosis Based on Abstract Interpretation. Num. CLIP11/2006.0, Technical University of Madrid, September 2006.
2. F. Bueno, P. Lopez-Garcia, G. Puebla, M. Hermenegildo, and P. Pietrzak. The CHIP Assertion Preprocessor. Technical Report CLIP1/99.1, Technical University of Madrid (UPM).
3. W. Drabent, P. Pietrzak. Inferring call and success types for CLP programs.ESPRIT DiSCiPl deliverable, September 1998.
4. M. Comini, W. Drabent, J. Maluszynski, P. Pietrzak. A type-based diagnoser for CHIP. ESPRIT DiSCiPl deliverable, September 1998.

Theses

1. P. Pietrzak: A Type-based Framework for Locating Errors in Constraint Logic Programs, Ph.D. thesis, Linköping University, 2002 (ps.gz), Errata
2. P. Pietrzak: Static Incorrectness Diagnosis of CLP(FD), Licentiate thesis (Swedish half way to phd) 742, Linköping University, 1998.(ps.gz)

Teaching (outdated)

Other stuff