Abstract specialization and its application to program parallelization

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

Descripción

Título: Abstract specialization and its application to program parallelization
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: 6th International Workshop, LOPSTR'96
Fechas del Evento: August 28-30, 1996
Lugar del Evento: Stockholm, Sweden
Título del Libro: Logic-Based Program Synthesis and Transformation
Fecha: 1997
ISBN: 9783540627180
Volumen: 1207
Materias:
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 (994kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14403
Identificador DC: http://oa.upm.es/14403/
Identificador OAI: oai:oa.upm.es:14403
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-62718-9_10?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 02 Feb 2013 09:59
Ultima Modificación: 21 Abr 2016 14:02
  • 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