Goal dependent vs goal independent analysis of logic programs

Codish, Michael; García de la Banda, M. y Bruynooghe, Maurice (1994). Goal dependent vs goal independent analysis of logic programs. En: "Fifth International Conference on Logic Programming and Automated Reasoning", July 16 - 22, 1994, Kiev, Ukraine. ISBN 9783540582168.

Descripción

Título: Goal dependent vs goal independent analysis of logic programs
Autor/es:
  • Codish, Michael
  • García de la Banda, M.
  • Bruynooghe, Maurice
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Fifth International Conference on Logic Programming and Automated Reasoning
Fechas del Evento: July 16 - 22, 1994
Lugar del Evento: Kiev, Ukraine
Título del Libro: Logic Programming and Automated Reasoning
Fecha: 28 Julio 1994
ISBN: 9783540582168
Volumen: 822
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 (868kB) | Vista Previa

Resumen

Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses.

Más información

ID de Registro: 14442
Identificador DC: http://oa.upm.es/14442/
Identificador OAI: oai:oa.upm.es:14442
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 09 Feb 2013 09:34
Ultima Modificación: 21 Abr 2016 14:06
  • GEO_UP4
  • 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
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM