Change search
ReferencesLink to record
Permanent link

Direct link
Locating type errors in untyped CLP programs
University of Linköping.
University of Linköping.
2000 (English)In: Analysis and Visualization Tools for Constraint Programming: Constraint Debugging, Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2000, 121-150 p.Chapter in book (Other academic)
Abstract [en]

This chapter presents a static diagnosis tool that locates type errors in untyped CLP programs without executing them. The existing prototype is specialised for the programming language CHIP [4.10], but the idea applies to any CLP language. The tool works with approximated specifications which describe types of procedure calls and successes. The specifications are expressed as a certain kind of term grammars. The tool automatically locates at compile time all the errors (with respect to a given specification) in a program. The located erroneous program fragments are (prefixes of) clauses. The tool aids the user in constructing specifications incrementally; often a fragment of the specification is already sufficient to locate an error. The presentation is informal. The focus is on the motivation of this work and on the functionality of the tool. Some related formal aspects are discussed in [4.15, 4.29]. The prototype tool is available from

Place, publisher, year, edition, pages
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2000. 121-150 p.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1870
Research subject
Embedded System
URN: urn:nbn:se:ltu:diva-20974DOI: 10.1007/10722311_5Local ID: 9e352570-c7a4-11dd-941d-000ea68e967bISBN: 3-540-41137-2OAI: diva2:994018
Upprättat; 2000; 20081211 (ysko)Available from: 2016-09-29 Created: 2016-09-29

Open Access in DiVA

fulltext(341 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 341 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

ReferencesLink to record
Permanent link

Direct link