Implementation of multiple specialization in logic programs

Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (1995). Implementation of multiple specialization in logic programs. En: "1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation", June 21-23, 1995, La Jolla, California, USA. ISBN 0897917200.

Descripción

Título: Implementation of multiple specialization in logic programs
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: 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Fechas del Evento: June 21-23, 1995
Lugar del Evento: La Jolla, California, USA
Título del Libro: PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Fecha: 1995
ISBN: 0897917200
Materias:
Palabras Clave Informales: 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.
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 (1MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14424
Identificador DC: http://oa.upm.es/14424/
Identificador OAI: oai:oa.upm.es:14424
URL Oficial: http://dl.acm.org/citation.cfm?id=215561
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 07 Feb 2013 07:31
Ultima Modificación: 21 Abr 2016 14:05
  • 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