Compile-time derivation of variable dependency using abstract interpretation

Muthukumar, Kalyan y Hermenegildo, Manuel V. (1992). Compile-time derivation of variable dependency using abstract interpretation. "Journal of logic programming", v. 13 (n. 2/3); pp. 315-347. ISSN 1567-8326. https://doi.org/10.1016/0743-1066(92)90035-2.

Descripción

Título: Compile-time derivation of variable dependency using abstract interpretation
Autor/es:
  • Muthukumar, Kalyan
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: Journal of logic programming
Fecha: Julio 1992
Volumen: 13
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 (2MB) | Vista Previa

Resumen

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 runtime 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 concentrates on inferring 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. In addition, a new, abstract domain independent ñxpoint algorithm is presented and described in detail. The algorithms are illustrated with examples. Finally, results from an implementation of the abstract interpreter are presented.

Más información

ID de Registro: 14291
Identificador DC: http://oa.upm.es/14291/
Identificador OAI: oai:oa.upm.es:14291
Identificador DOI: 10.1016/0743-1066(92)90035-2
URL Oficial: http://www.sciencedirect.com/science/article/pii/0743106692900352
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 16 Ene 2013 07:38
Ultima Modificación: 21 Abr 2016 13:53
  • 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