Implementation of multiple specialization in logic programs

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.

Description

Title: Implementation of multiple specialization in logic programs
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
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

Full text

[thumbnail of HERME_ARC_1995-4.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

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
  • 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