Type-based diagnosis of CLP programs
2000 (English)In: WLPE'99: Tenth Workshop on Logic Programming Environments, in connection with ICLP'99, International Conference on Logic Programming, Las Cruces, New Mexico, USA, 29 November 1999, Amsterdam: Elsevier, 2000Conference paper (Refereed)
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
Amsterdam: Elsevier, 2000.
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661 ; 4
Research subject Embedded System
IdentifiersURN: urn:nbn:se:ltu:diva-37273DOI: 10.1016/S1571-0661(05)80659-0Local ID: b3f6be60-c50a-11dd-80bd-000ea68e967bOAI: oai:DiVA.org:ltu-37273DiVA: diva2:1010771
Workshop on Logic Programming Environments : 29/11/1999 - 29/11/1999
Upprättat; 1999; Bibliografisk uppgift: Værtspublikationsredaktører: Mireille Ducass Værtspublikationsredaktører: Anthony Kusalik Værtspublikationsredaktører: Puebla German ; 20120112 (ysko)2016-10-032016-10-03Bibliographically approved