Goal dependent vs goal independent analysis of logic programs

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

Description

Title: Goal dependent vs goal independent analysis of logic programs
Author/s:
  • Codish, Michael
  • García de la Banda, M.
  • Bruynooghe, Maurice
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: Fifth International Conference on Logic Programming and Automated Reasoning
Event Dates: July 16 - 22, 1994
Event Location: Kiev, Ukraine
Title of Book: Logic Programming and Automated Reasoning
Date: 28 July 1994
ISBN: 9783540582168
Volume: 822
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 (868kB) | Preview

Abstract

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.

More information

Item ID: 14442
DC Identifier: http://oa.upm.es/14442/
OAI Identifier: oai:oa.upm.es:14442
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 09 Feb 2013 09:34
Last Modified: 12 Jun 2019 08:19
  • 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