Sökning: "Pawel Pietrzak"

Hittade 2 avhandlingar innehållade orden Pawel Pietrzak.

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

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

   Sammanfattning : .... LÄS MER

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

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

   Sammanfattning : .... LÄS MER