Automatic binding-related error diagnosis in logic programs

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

Descripción

Título: Automatic binding-related error diagnosis in logic programs
Autor/es:
  • Pietrzak, Pawel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 23rd International Conference, ICLP 2007
Fechas del Evento: September 8-13, 2007
Lugar del Evento: Porto, Portugal
Título del Libro: Logic Programming
Fecha: 2007
ISBN: 978-3-540-74608-9
Volumen: 4670
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (907kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14318
Identificador DC: http://oa.upm.es/14318/
Identificador OAI: oai:oa.upm.es:14318
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-74610-2_23
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 20 Ene 2013 10:14
Ultima Modificación: 21 Abr 2016 13:55
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM