Pawel Pietrzak

Namn:	Pawel Pietrzak
Titel:	Forskarassistent
Enhet:	Institutionen för systemteknik (SYS)
Avdelning:	Eislab
Email:	pawel.pietrzak@ltu.se
Telefon:	0920-492946
Rum:	A2304

Research interest

Static analysis and verification of programs
The Timber programming language
Declarative (logic, functional, constraint) programming
Embedded programming

Teaching

Computer System Security and Management - D004E, 2010

Publikationer

- Visar 5 senaste publikationerna av totalt 10 stycken.

A practical type analysis for verification of modular Prolog programs
2008; Pietrzak, Pawel; Correas, Jesus; Puebla, German; Hermenegildo, Manuel;
Automatic binding-related error diagnosis in logic programs
2007; Pietrzak, Pawel; Hermenegildo, Manuel;
Context-sensitive multivariant assertion checking in modular programs
2006; Pietrzak, Pawel; Correas, Jesus; Puebla, German; Hermenegildo, Manuel; Hermenegildo, Manuel;
A type-based framework for locating errors in constraint logic programs
2002; Pietrzak, Pawel;
Using parametric set constraints for locating errors in CLP programs
2002; Drabent, Wlodek; Maluszynski, Jan; Pietrzak, Pawel;

» Visa detaljerad lista över alla publikationer av Pawel Pietrzak