Abstract specialization and its application to program parallelization

Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (1997). Abstract specialization and its application to program parallelization. In: "6th International Workshop, LOPSTR'96", August 28-30, 1996, Stockholm, Sweden. ISBN 9783540627180.

Description

Title: Abstract specialization and its application to program parallelization
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 6th International Workshop, LOPSTR'96
Event Dates: August 28-30, 1996
Event Location: Stockholm, Sweden
Title of Book: Logic-Based Program Synthesis and Transformation
Date: 1997
ISBN: 9783540627180
Volume: 1207
Subjects:
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 (994kB) | Preview

Abstract

Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. This paper reports on the application of abstract múltiple specialization to automatic program parallelization in the &-Prolog compiler. Abstract executability, the main concept underlying abstract specialization, is formalized, the design of the specialization system presented, and a non-trivial example of specialization in automatic parallelization is given.

More information

Item ID: 14403
DC Identifier: http://oa.upm.es/14403/
OAI Identifier: oai:oa.upm.es:14403
Official URL: http://link.springer.com/chapter/10.1007%2F3-540-62718-9_10?LI=true
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 Feb 2013 09:59
Last Modified: 21 Apr 2016 14:02
  • 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