A type-based framework for locating errors in constraint logic programsReport as inadecuate




A type-based framework for locating errors in constraint logic programs - Download this document for free, or read online. Document in PDF available to download.

2002 (English)Doctoral thesis, comprehensive summary (Other academic)

Place, publisher, year, edition, pages: Linköping: Linköping University Electronic Press, 2002. , 211 p.

Series : Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 772

Research subject: Embedded System

Identifiers: URN: urn:nbn:se:ltu:diva-18525Local ID: 90457cf0-c50e-11dd-80bd-000ea68e967bISBN: 91-7373-422-5 (print)OAI: oai:DiVA.org:ltu-18525DiVA: diva2:991534

Note: Upprättat; 2002; 20081208 (pawpie)Available from: 2016-09-29 Created: 2016-09-29Bibliographically approved



Author: Pietrzak, Pawel

Source: http://ltu.diva-portal.org/







Related documents