An integration of partial evaluation in a generic abstract interpretation framework

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

Description

Title: An integration of partial evaluation in a generic abstract interpretation framework
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
  • Gallagher, John P.
Item Type: Presentation at Congress or Conference (Article)
Event Title: PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Event Dates: January 22-23, 1999
Event Location: San Antonio, Texas, USA
Title of Book: Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Date: 1999
Subjects:
Freetext Keywords: Logic programming, Abstract interpretation, Partial evaluation, Program specialization, Programación lógica, Interpretación de resúmenes, Evaluación parcial, Programas de especialización.
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 (1MB) | Preview

Abstract

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.

More information

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