A model for inter-module analysis and optimizing compilation

Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537, García de la Banda, M., Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Marriott, K., Puebla Sánchez, Alvaro Germán and Stuckey, P.J. (2001). A model for inter-module analysis and optimizing compilation. In: "10th International Workshop, LOPSTR 2000", July 24-28, 2000, London, UK. ISBN 9783540421276.

Description

Title: A model for inter-module analysis and optimizing compilation
Author/s:
Item Type: Presentation at Congress or Conference (Article)
Event Title: 10th International Workshop, LOPSTR 2000
Event Dates: July 24-28, 2000
Event Location: London, UK
Title of Book: Logic-Based Program Synthesis and Transformation
Date: 2001
ISBN: 9783540421276
Volume: 2042
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_2001-2.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (945kB) | Preview

Abstract

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.

More information

Item ID: 14378
DC Identifier: https://oa.upm.es/14378/
OAI Identifier: oai:oa.upm.es:14378
Official URL: http://link.springer.com/chapter/10.1007/3-540-451...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Feb 2013 08:09
Last Modified: 27 Feb 2023 12:31
  • 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