Determination of variable dependence information through abstract interpretation

Muthukumar, Kalyan and Hermenegildo, Manuel V. (1989). Determination of variable dependence information through abstract interpretation. In: "1989 north american conference in logic programming", October 16-20, 1989, Cleveland, Ohio. ISBN 0262620642.

Description

Title: Determination of variable dependence information through abstract interpretation
Author/s:
  • Muthukumar, Kalyan
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 1989 north american conference in logic programming
Event Dates: October 16-20, 1989
Event Location: Cleveland, Ohio
Title of Book: Logic Programming, Proceedings of the North American Conference 1989
Date: October 1989
ISBN: 0262620642
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 (1MB) | Preview

Abstract

Traditional schemes for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type information. Variable sharing information is often given only the attention needed to preserve the correctness of the analysis. However, such sharing information can be very useful. In particular, it can be used for predicting run-time goal independence, which can eliminate costly run-time checks in and-parallel execution. In this paper, a new algorithm for doing abstract interpretation in logic programs is described which infers the dependencies of the terms bound to program variables with increased precisión and at all points in the execution of the program, rather than just at a procedure level. Algorithms are presented for computing abstract entry and success substitutions which extensively keep track of variable aliasing and term dependence information. The algorithms are illustrated with examples.

More information

Item ID: 14505
DC Identifier: http://oa.upm.es/14505/
OAI Identifier: oai:oa.upm.es:14505
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 19 Feb 2013 07:50
Last Modified: 21 Apr 2016 14:12
  • 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