Search for dissertations about: "Pawel Pietrzak"

Found 2 swedish dissertations containing the words Pawel Pietrzak.

2. 1. A type-based framework for locating errors in constraint logic programs

   Author : Pawel Pietrzak; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Inbyggda system; Embedded System; Computer science;

   Abstract : .... READ MORE

4. 2. Static incorrectness diagnosis of CLP(FD)

   Author : Pawel Pietrzak; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

   Abstract : .... READ MORE