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

Författare: Pawel Pietrzak; Linköpings Universitet; []

Nyckelord: ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Inbyggda system; Embedded System; Computer science; Datavetenskap;

Sammanfattning:

KLICKA HÄR FÖR ATT SE AVHANDLINGEN I FULLTEXT. (PDF-format)