Combined determination of sharing and freeness of program variables through abstract interpretation

Muthukumar, Kalyan and Hermenegildo, Manuel V. (1991). Combined determination of sharing and freeness of program variables through abstract interpretation. In: "International Conference on Logic Programming (ICLP 1991)", June 24-28, 1991, Paris, France. ISBN 0262560585.

Description

Title: Combined determination of sharing and freeness of program variables through abstract interpretation
Author/s:
  • Muthukumar, Kalyan
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: International Conference on Logic Programming (ICLP 1991)
Event Dates: June 24-28, 1991
Event Location: Paris, France
Title of Book: Logic Programming, Proceedings of the Eigth International Conference
Date: June 1991
ISBN: 0262560585
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 (918kB) | Preview

Abstract

In this paper, abstract interpretation algorithms are described for computing the sharmg as well as the freeness information about the run-time instantiations of program variables. An abstract domain is proposed which accurately and concisely represents combined freeness and sharing information for program variables. Abstract unification and all other domain-specific functions for an abstract interpreter working on this domain are presented. These functions are illustrated with an example. The importance of inferring freeness is stressed by showing (1) the central role it plays in non-strict goal independence, and (2) the improved accuracy it brings to the analysis of sharing information when both are computed together. Conversely, it is shown that keeping accurate track of sharing allows more precise inference of freeness, thus resulting in an overall much more powerful abstract interpreter.

More information

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