Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs

Muthukumar, Kalyan y Hermenegildo, Manuel V. (1990). Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs
Autor/es:
  • Muthukumar, Kalyan
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Abril 1990
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 (1MB) | Vista Previa

Resumen

Bruynooghe described a framework for the top-down abstract interpretation of logic programs. In this framework, abstract interpretation is carried out by constructing an abstract and-or tree in a top-down fashion for a given query and program. Such an abstract interpreter requires fixpoint computation for programs which contain recursive predicates. This paper presents in detail a fixpoint algorithm that has been developed for this purpose and the motivation behind it. We start off by describing a simple-minded algorithm. After pointing out its shortcomings, we present a series of refinements to this algorithm, until we reach the final version. The aim is to give an intuitive grasp and provide justification for the relative complexity of the final algorithm. We also present an informal proof of correctness of the algorithm and some results obtained from an implementation.

Más información

ID de Registro: 15292
Identificador DC: http://oa.upm.es/15292/
Identificador OAI: oai:oa.upm.es:15292
URL Oficial: ftp://clip.dia.fi.upm.es/pub/papers/tr153-90.mcc.ps.Z‎
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 15 May 2013 07:59
Ultima Modificación: 21 Abr 2016 15:20
  • 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