Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (994kB) | Vista Previa |
Abstract specialization and its application to program parallelization
Cita
Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(1997).
Abstract specialization and its application to program parallelization.
En: "6th International Workshop, LOPSTR'96", August 28-30, 1996, Stockholm, Sweden. ISBN 9783540627180.
ORCID: https://orcid.org/0000-0002-7583-323X
(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: |
|
| 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: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
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: | https://oa.upm.es/14403/ |
| Identificador OAI: | oai:oa.upm.es:14403 |
| URL Oficial: | http://link.springer.com/chapter/10.1007%2F3-540-6... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 02 Feb 2013 09:59 |
| Ultima Modificación: | 27 Feb 2023 12:27 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
