Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
National Category
Embedded Systems
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 Last updated: 2017-10-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf