Abstract specialization and its applications

Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2003). Abstract specialization and its applications. In: "PEPM '03 Partial Evaluation and Semantics-Based Program Manipulation", June 07 - 07, 2003, San Diego, CA, USA. ISBN 1581136676.


Title: Abstract specialization and its applications
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: PEPM '03 Partial Evaluation and Semantics-Based Program Manipulation
Event Dates: June 07 - 07, 2003
Event Location: San Diego, CA, USA
Title of Book: PEPM '03 Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Date: June 2003
ISBN: 1581136676
Freetext Keywords: Abstract interpretation, Program specialization, Partial evaluation, Program optimization, Program parallelization, Logic programming, Static analysis, Interpretación de resúmenes, Especialización de programas, Evaluación parcial, Optimización de programas, Paralelización de programas, Programación lógica, análisis estático.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview


The aim of program specialization is to optimize programs by exploiting certain knowledge about the context in which the program will execute. There exist many program manipulation techniques which allow specializing the program in different ways. Among them, one of the best known techniques is partial evaluation, often referred to simply as program specialization, which optimizes programs by specializing them for (partially) known input data. In this work we describe abstract specialization, a technique whose main features are: (1) specialization is performed with respect to "abstract" valúes rather than "concrete" ones, and (2) abstract interpretation rather than standard interpretation of the program is used in order to propágate information about execution states. The concept of abstract specialization is at the heart of the specialization system in CiaoPP, the Ciao system preprocessor. In this paper we present a unifying view of the different specialization techniques used in CiaoPP and discuss their potential applications by means of examples. The applications discussed include program parallelization, optimization of dynamic scheduling (concurreney), and integration of partial evaluation techniques.

More information

Item ID: 14542
DC Identifier: https://oa.upm.es/14542/
OAI Identifier: oai:oa.upm.es:14542
Official URL: http://dl.acm.org/citation.cfm?id=777393
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 23 Feb 2013 07:30
Last Modified: 21 Apr 2016 14:15
  • 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