An integration of partial evaluation in a generic abstract interpretation framework

Puebla Sánchez, Alvaro Germán; Hermenegildo, Manuel V. y Gallagher, John P. (1999). An integration of partial evaluation in a generic abstract interpretation framework. En: "PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation", January 22-23, 1999, San Antonio, Texas, USA.

Descripción

Título: An integration of partial evaluation in a generic abstract interpretation framework
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
  • Gallagher, John P.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Fechas del Evento: January 22-23, 1999
Lugar del Evento: San Antonio, Texas, USA
Título del Libro: Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Fecha: 1999
Materias:
Palabras Clave Informales: Logic programming, Abstract interpretation, Partial evaluation, Program specialization, Programación lógica, Interpretación de resúmenes, Evaluación parcial, Programas de especialización.
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

Information generated by abstract interpreters has long been used to perform program specialization. Additionally, if the abstract interpreter generates a multivariant analysis, it is also possible to perform múltiple specialization. Information about valúes of variables is propagated by simulating program execution and performing fixpoint computations for recursive calis. In contrast, traditional partial evaluators (mainly) use unfolding for both propagating valúes of variables and transforming the program. It is known that abstract interpretation is a better technique for propagating success valúes than unfolding. However, the program transformations induced by unfolding may lead to important optimizations which are not directly achievable in the existing frameworks for múltiple specialization based on abstract interpretation. The aim of this work is to devise a specialization framework which integrates the better information propagation of abstract interpretation with the powerful program transformations performed by partial evaluation, and which can be implemented via small modifications to existing generic abstract interpreters. With this aim, we will relate top-down abstract interpretation with traditional concepts in partial evaluation and sketch how the sophisticated techniques developed for controlling partial evaluation can be adapted to the proposed specialization framework. We conclude that there can be both practical and conceptual advantages in the proposed integration of partial evaluation and abstract interpretation.

Más información

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