A model for inter-module analysis and optimizing compilation

Bueno Carrillo, Francisco; García de la Banda, M.; Hermenegildo, Manuel V.; Marriott, K.; Puebla Sánchez, Alvaro Germán y Stuckey, P.J. (2001). A model for inter-module analysis and optimizing compilation. En: "10th International Workshop, LOPSTR 2000", July 24-28, 2000, London, UK. ISBN 9783540421276.

Descripción

Título: A model for inter-module analysis and optimizing compilation
Autor/es:
  • Bueno Carrillo, Francisco
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • Marriott, K.
  • Puebla Sánchez, Alvaro Germán
  • Stuckey, P.J.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 10th International Workshop, LOPSTR 2000
Fechas del Evento: July 24-28, 2000
Lugar del Evento: London, UK
Título del Libro: Logic-Based Program Synthesis and Transformation
Fecha: 2001
ISBN: 9783540421276
Volumen: 2042
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 (945kB) | Vista Previa

Resumen

Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: sepárate compilation of modules is not supported. We describe and empirically evalúate a simple model for extending global program analysis to support sepárate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.

Más información

ID de Registro: 14378
Identificador DC: http://oa.upm.es/14378/
Identificador OAI: oai:oa.upm.es:14378
URL Oficial: http://link.springer.com/chapter/10.1007/3-540-45142-0_6
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 01 Feb 2013 08:09
Ultima Modificación: 21 Abr 2016 14:01
  • 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