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