Locating type errors in untyped CLP programs
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)
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 http://www.ida.liu.se/~pawpi/Diagnoser/diagnoser.html.
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
IdentifiersURN: urn:nbn:se:ltu:diva-20974DOI: 10.1007/10722311_5Local ID: 9e352570-c7a4-11dd-941d-000ea68e967bISBN: 3-540-41137-2OAI: oai:DiVA.org:ltu-20974DiVA: diva2:994018
Upprättat; 2000; 20081211 (ysko)2016-09-292016-09-29