Compiler optimizations for low-level redundancy elimination: An application of meta-level Prolog primitives

Saumya K. Debray

doi:10.1007/3-540-56282-6_8

Compiler optimizations for low-level redundancy elimination: An application of meta-level Prolog primitives

Saumya K. Debray

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

Much of the work on applications of meta-level primitives in logic programs focusses on high-level aspects such as source-level program transformation, interpretation, and partial evaluation. In this paper, we show how meta-level primitives can be used in a very simple way for low-level code optimization in compilers. The resulting code optimizer is small, simple, efficient, and easy to modify and retarget. An optimizer based on these ideas is currently being used in a compiler that we have developed for Janus [6].

Original language	English (US)
Title of host publication	Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings
Editors	Alberto Pettorossi
Publisher	Springer-Verlag
Pages	120-134
Number of pages	15
ISBN (Print)	9783540562825
DOIs	https://doi.org/10.1007/3-540-56282-6_8
State	Published - 1992
Event	3rd International Workshop on Meta-Programming in Logic, META 1992 - Uppsala, Sweden Duration: Jun 10 1992 → Jun 12 1992

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	649 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	3rd International Workshop on Meta-Programming in Logic, META 1992
Country/Territory	Sweden
City	Uppsala
Period	6/10/92 → 6/12/92

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-56282-6_8

Cite this

Debray, S. K. (1992). Compiler optimizations for low-level redundancy elimination: An application of meta-level Prolog primitives. In A. Pettorossi (Ed.), Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings (pp. 120-134). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 649 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-56282-6_8

Compiler optimizations for low-level redundancy elimination : An application of meta-level Prolog primitives. / Debray, Saumya K.

Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings. ed. / Alberto Pettorossi. Springer-Verlag, 1992. p. 120-134 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 649 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Debray, SK 1992, Compiler optimizations for low-level redundancy elimination: An application of meta-level Prolog primitives. in A Pettorossi (ed.), Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 649 LNCS, Springer-Verlag, pp. 120-134, 3rd International Workshop on Meta-Programming in Logic, META 1992, Uppsala, Sweden, 6/10/92. https://doi.org/10.1007/3-540-56282-6_8

Debray SK. Compiler optimizations for low-level redundancy elimination: An application of meta-level Prolog primitives. In Pettorossi A, editor, Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings. Springer-Verlag. 1992. p. 120-134. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-56282-6_8

Debray, Saumya K. / Compiler optimizations for low-level redundancy elimination : An application of meta-level Prolog primitives. Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings. editor / Alberto Pettorossi. Springer-Verlag, 1992. pp. 120-134 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6cdb035c409b4d49be8673eb937f13b8,

title = "Compiler optimizations for low-level redundancy elimination: An application of meta-level Prolog primitives",

abstract = "Much of the work on applications of meta-level primitives in logic programs focusses on high-level aspects such as source-level program transformation, interpretation, and partial evaluation. In this paper, we show how meta-level primitives can be used in a very simple way for low-level code optimization in compilers. The resulting code optimizer is small, simple, efficient, and easy to modify and retarget. An optimizer based on these ideas is currently being used in a compiler that we have developed for Janus [6].",

author = "Debray, {Saumya K.}",

note = "Funding Information: Acknowledgements: Comments by Mats Carlsson and Jan Komorowski were very helpful i n improving the contents of the paper. This work was supported in part by the National Science Foundation under grant number CCR-8901283. Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1992.; 3rd International Workshop on Meta-Programming in Logic, META 1992 ; Conference date: 10-06-1992 Through 12-06-1992",

year = "1992",

doi = "10.1007/3-540-56282-6_8",

language = "English (US)",

isbn = "9783540562825",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "120--134",

editor = "Alberto Pettorossi",

booktitle = "Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings",

}

TY - GEN

T1 - Compiler optimizations for low-level redundancy elimination

T2 - 3rd International Workshop on Meta-Programming in Logic, META 1992

AU - Debray, Saumya K.

N1 - Funding Information: Acknowledgements: Comments by Mats Carlsson and Jan Komorowski were very helpful i n improving the contents of the paper. This work was supported in part by the National Science Foundation under grant number CCR-8901283. Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1992.

PY - 1992

Y1 - 1992

N2 - Much of the work on applications of meta-level primitives in logic programs focusses on high-level aspects such as source-level program transformation, interpretation, and partial evaluation. In this paper, we show how meta-level primitives can be used in a very simple way for low-level code optimization in compilers. The resulting code optimizer is small, simple, efficient, and easy to modify and retarget. An optimizer based on these ideas is currently being used in a compiler that we have developed for Janus [6].

AB - Much of the work on applications of meta-level primitives in logic programs focusses on high-level aspects such as source-level program transformation, interpretation, and partial evaluation. In this paper, we show how meta-level primitives can be used in a very simple way for low-level code optimization in compilers. The resulting code optimizer is small, simple, efficient, and easy to modify and retarget. An optimizer based on these ideas is currently being used in a compiler that we have developed for Janus [6].

UR - http://www.scopus.com/inward/record.url?scp=85007365607&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85007365607&partnerID=8YFLogxK

U2 - 10.1007/3-540-56282-6_8

DO - 10.1007/3-540-56282-6_8

M3 - Conference contribution

AN - SCOPUS:85007365607

SN - 9783540562825

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 120

EP - 134

BT - Meta-Programming in Logic - 3rd International Workshop, META-1992, Proceedings

A2 - Pettorossi, Alberto

PB - Springer-Verlag

Y2 - 10 June 1992 through 12 June 1992

ER -

Compiler optimizations for low-level redundancy elimination: An application of meta-level Prolog primitives

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this