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
Automatic binding-related error diagnosis in logic programs
Technical University of Madrid.
2007 (English)In: Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / [ed] Verónica Dahl; Ilkka Neimelä, Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2007, 333-347 p.Conference paper, Published paper (Refereed)
Abstract [en]

This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result in abstract symptoms during compile-time checking of assertions based on abstract interpretation. The diagnoser analyzes the graph generated by the abstract interpreter, which is a provably safe approximation of the program semantics. The proposed algorithm traverses this graph to find the point where the actual error originates (a reason of the symptom), leading to the point the error has been reported (the symptom). The procedure is fully automatic, not requiring any interaction with the user. A prototype diagnoser has been implemented and preliminary results are encouraging.

Place, publisher, year, edition, pages
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2007. 333-347 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4670
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-29983DOI: 10.1007/978-3-540-74610-2_23Local ID: 3a156ee0-c076-11dd-875e-000ea68e967bISBN: 978-3-540-74608-9 (print)OAI: oai:DiVA.org:ltu-29983DiVA: diva2:1003210
Conference
International Conference on Logic Programming : 08/09/2007 - 13/09/2007
Note
Upprättat; 2007; 20081202 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

fulltext(193 kB)5 downloads
File information
File name FULLTEXT01.pdfFile size 193 kBChecksum SHA-512
0abdec3dc53f7cae45fabe1bb4ba6fc94f23937f94294704b32d9d6c247f53782ced0ee2369135f00951134736f3c582edd18c19fada595532b67490882f4af3
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 5 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 15 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