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

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

Descripción

Título: Combined determination of sharing and freeness of program variables through abstract interpretation
Autor/es:
  • Muthukumar, Kalyan
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: International Conference on Logic Programming (ICLP 1991)
Fechas del Evento: June 24-28, 1991
Lugar del Evento: Paris, France
Título del Libro: Logic Programming, Proceedings of the Eigth International Conference
Fecha: Junio 1991
ISBN: 0262560585
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 (918kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14487
Identificador DC: http://oa.upm.es/14487/
Identificador OAI: oai:oa.upm.es:14487
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 14 Feb 2013 07:33
Ultima Modificación: 21 Abr 2016 14:11
  • 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