Change search
ReferencesLink to record
Permanent link

Direct link
Type-based diagnosis of CLP programs
University of Linköping.
University of Linköping.
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)
Abstract [en]

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.
Series
, Electronic Notes in Theoretical Computer Science, ISSN 1571-0661 ; 4
Research subject
Embedded System
Identifiers
URN: 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
Conference
Workshop on Logic Programming Environments : 29/11/1999 - 29/11/1999
Note
Upprättat; 1999; Bibliografisk uppgift: Værtspublikationsredaktører: Mireille Ducass Værtspublikationsredaktører: Anthony Kusalik Værtspublikationsredaktører: Puebla German ; 20120112 (ysko)Available from: 2016-10-03 Created: 2016-10-03

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link