Automatic binding-related error diagnosis in logic programsReport as inadecuate




Automatic binding-related error diagnosis in logic programs - Download this document for free, or read online. Document in PDF available to download.

Hermenegildo, Manuel 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

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-30Bibliographically approved



Author: Pietrzak, Pawel

Source: http://ltu.diva-portal.org/







Related documents