A model of inter-module analysis and optimizing compilation

Francisco Bueno; Maria Jose Garcia De La Banda; Manuel Hermenegildo; Kim Marriott; German Puebla; Peter J Stuckey

doi:10.1007/3-540-45142-0_6

A model of inter-module analysis and optimizing compilation

Francisco Bueno, Maria Jose Garcia De La Banda, Manuel Hermenegildo, Kim Marriott, German Puebla, Peter J Stuckey

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

13 Citations (Scopus)

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: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.

Original language	English
Title of host publication	Logic Based Program Synthesis and Transformation
Subtitle of host publication	10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Editors	Kung-Kiu Lau
Place of Publication	Berlin Germany
Publisher	Springer
Pages	86-102
Number of pages	17
ISBN (Print)	3540421270
DOIs	https://doi.org/10.1007/3-540-45142-0_6
Publication status	Published - 2001
Event	International Symposium on Logic-based Program Synthesis and Transformation 2000 - London, United Kingdom Duration: 24 Jul 2000 → 28 Jul 2000 Conference number: 10th

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2042
ISSN (Print)	0302-9743

Conference

Conference	International Symposium on Logic-based Program Synthesis and Transformation 2000
Abbreviated title	LOPSTR 2000
Country/Territory	United Kingdom
City	London
Period	24/07/00 → 28/07/00

Access to Document

10.1007/3-540-45142-0_6

Cite this

Bueno, F., Garcia De La Banda, M. J., Hermenegildo, M., Marriott, K., Puebla, G., & Stuckey, P. J. (2001). A model of inter-module analysis and optimizing compilation. In K.-K. Lau (Ed.), Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers (pp. 86-102). (Lecture Notes in Computer Science; Vol. 2042). Springer. https://doi.org/10.1007/3-540-45142-0_6

Bueno, Francisco ; Garcia De La Banda, Maria Jose ; Hermenegildo, Manuel et al. / A model of inter-module analysis and optimizing compilation. Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers. editor / Kung-Kiu Lau. Berlin Germany : Springer, 2001. pp. 86-102 (Lecture Notes in Computer Science).

@inproceedings{0db2d0a047f848c286222c3e4470c7cf,

title = "A model of inter-module analysis and optimizing compilation",

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: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.",

author = "Francisco Bueno and {Garcia De La Banda}, {Maria Jose} and Manuel Hermenegildo and Kim Marriott and German Puebla and Stuckey, {Peter J}",

year = "2001",

doi = "10.1007/3-540-45142-0_6",

language = "English",

isbn = "3540421270",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "86--102",

editor = "Kung-Kiu Lau",

booktitle = "Logic Based Program Synthesis and Transformation",

note = "International Symposium on Logic-based Program Synthesis and Transformation 2000, LOPSTR 2000 ; Conference date: 24-07-2000 Through 28-07-2000",

}

Bueno, F, Garcia De La Banda, MJ, Hermenegildo, M, Marriott, K, Puebla, G & Stuckey, PJ 2001, A model of inter-module analysis and optimizing compilation. in K-K Lau (ed.), Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers. Lecture Notes in Computer Science, vol. 2042, Springer, Berlin Germany, pp. 86-102, International Symposium on Logic-based Program Synthesis and Transformation 2000, London, United Kingdom, 24/07/00. https://doi.org/10.1007/3-540-45142-0_6

A model of inter-module analysis and optimizing compilation. / Bueno, Francisco; Garcia De La Banda, Maria Jose; Hermenegildo, Manuel et al.
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers. ed. / Kung-Kiu Lau. Berlin Germany: Springer, 2001. p. 86-102 (Lecture Notes in Computer Science; Vol. 2042).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - A model of inter-module analysis and optimizing compilation

AU - Bueno, Francisco

AU - Garcia De La Banda, Maria Jose

AU - Hermenegildo, Manuel

AU - Marriott, Kim

AU - Puebla, German

AU - Stuckey, Peter J

N1 - Conference code: 10th

PY - 2001

Y1 - 2001

N2 - 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: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.

AB - 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: separate compilation of modules is not supported. We describe and empirically evaluate a simple model for extending global program analysis to support separate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.

U2 - 10.1007/3-540-45142-0_6

DO - 10.1007/3-540-45142-0_6

M3 - Conference Paper

SN - 3540421270

T3 - Lecture Notes in Computer Science

SP - 86

EP - 102

BT - Logic Based Program Synthesis and Transformation

A2 - Lau, Kung-Kiu

PB - Springer

CY - Berlin Germany

T2 - International Symposium on Logic-based Program Synthesis and Transformation 2000

Y2 - 24 July 2000 through 28 July 2000

ER -

Bueno F, Garcia De La Banda MJ, Hermenegildo M, Marriott K, Puebla G, Stuckey PJ. A model of inter-module analysis and optimizing compilation. In Lau KK, editor, Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers. Berlin Germany: Springer. 2001. p. 86-102. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45142-0_6