Automatic binding-related error diagnosis in logic programs

Pietrzak, Pawel and Hermenegildo, Manuel V. (2007). Automatic binding-related error diagnosis in logic programs. In: "23rd International Conference, ICLP 2007", September 8-13, 2007, Porto, Portugal. ISBN 978-3-540-74608-9.

Description

Title: Automatic binding-related error diagnosis in logic programs
Author/s:
  • Pietrzak, Pawel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 23rd International Conference, ICLP 2007
Event Dates: September 8-13, 2007
Event Location: Porto, Portugal
Title of Book: Logic Programming
Date: 2007
ISBN: 978-3-540-74608-9
Volume: 4670
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (907kB) | Preview

Abstract

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.

More information

Item ID: 14318
DC Identifier: http://oa.upm.es/14318/
OAI Identifier: oai:oa.upm.es:14318
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-540-74610-2_23
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 20 Jan 2013 10:14
Last Modified: 21 Apr 2016 13:55
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM