Determination of variable dependence information through abstract interpretation

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

Descripción

Título: Determination of variable dependence information through abstract interpretation
Autor/es:
  • Muthukumar, Kalyan
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 1989 north american conference in logic programming
Fechas del Evento: October 16-20, 1989
Lugar del Evento: Cleveland, Ohio
Título del Libro: Logic Programming, Proceedings of the North American Conference 1989
Fecha: Octubre 1989
ISBN: 0262620642
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 (1MB) | 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 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.

Más información

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