Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (1995). Implementation of multiple specialization in logic programs. In: "1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation", June 21-23, 1995, La Jolla, California, USA. ISBN 0897917200.
Title: | Implementation of multiple specialization in logic programs |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation |
Event Dates: | June 21-23, 1995 |
Event Location: | La Jolla, California, USA |
Title of Book: | PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation |
Date: | 1995 |
ISBN: | 0897917200 |
Subjects: | |
Freetext Keywords: | Multiple program specialization, Abstract interpretation, Logic programming, Compile-time analysis, Optimization, Especialización en programas múltiples, Interpretación de resúmenes, Programación lógica, Optimización. |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
We study the múltiple specialization of logic programs based on abstract interpretation. This involves in general generating several versions of a program predícate for different uses of such predícate, making use of information obtained from global analysis performed by an abstract interpreter, and finally producing a new, "multiply specialized" program. While the topic of múltiple specialization of logic programs has received considerable theoretical attention, it has never been actually incorporated in a compiler and its effects quantified. We perform such a study in the context of a parallelizing compiler and show that it is indeed a relevant technique in practice. Also, we propose an implementation technique which has the same power as the strongest of the previously proposed techniques but requires little or no modification of an existing abstract interpreter.
Item ID: | 14424 |
---|---|
DC Identifier: | https://oa.upm.es/14424/ |
OAI Identifier: | oai:oa.upm.es:14424 |
Official URL: | http://dl.acm.org/citation.cfm?id=215561 |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 07 Feb 2013 07:31 |
Last Modified: | 27 Feb 2023 12:14 |