Abstract specialization and its applications

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

Descripción

Título: Abstract specialization and its applications
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: PEPM '03 Partial Evaluation and Semantics-Based Program Manipulation
Fechas del Evento: June 07 - 07, 2003
Lugar del Evento: San Diego, CA, USA
Título del Libro: PEPM '03 Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Fecha: Junio 2003
ISBN: 1581136676
Materias:
Palabras Clave Informales: 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.
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

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.

Más información

ID de Registro: 14542
Identificador DC: http://oa.upm.es/14542/
Identificador OAI: oai:oa.upm.es:14542
URL Oficial: http://dl.acm.org/citation.cfm?id=777393
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 23 Feb 2013 07:30
Ultima Modificación: 21 Abr 2016 14:15
  • 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