Type-based diagnosis of CLP programs
2000 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 30, no 4, 215-234 p.Article in journal (Refereed) Published
The paper presents a diagnosis tool for CLP programs. It deals with partial correctness w.r.t. specifications which describe procedure calls and successes. The space of possible specifications is restricted to a kind of regular types; we propose a generalization of the concept of types used in so called descriptive typing of logic programs. In particular we distinguish ground types from those containing non-ground elements.
The tool is able to automatically locate at compile time all errors in a program, this means all the clauses or clause prefixes responsible for the program being incorrect w.r.t. a given specification. The tool aids the user in constructing specifications incrementally; often a fragment of the specification is already sufficient to locate an error.
Our prototype is specialized for the programming language CHIP, but the idea is applicable to any untyped CLP (and LP) language. We believe that the presented approach makes it possible to combine the advantages of typed and untyped programming languages.
Place, publisher, year, edition, pages
2000. Vol. 30, no 4, 215-234 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-47669DOI: 10.1016/S1571-0661(05)80659-0OAI: oai:DiVA.org:liu-47669DiVA: diva2:268565
WLPE'99, Tenth Workshop on Logic Programming Environments (in connection with ICLP'99, International Conference on Logic Programming)