Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (945kB) | Preview |
A model for inter-module analysis and optimizing compilation
Citation
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 |
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 |
