Change search
ReferencesLink to record
Permanent link

Direct link
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 (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.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4670
Research subject
Embedded System
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-9OAI: diva2:1003210
International Conference on Logic Programming : 08/09/2007 - 13/09/2007
Upprättat; 2007; 20081202 (ysko)Available from: 2016-09-30 Created: 2016-09-30

Open Access in DiVA

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

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel

Search outside of DiVA

GoogleGoogle Scholar
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

Altmetric score

ReferencesLink to record
Permanent link

Direct link