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 -