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 |
| Publisher | Springer Verlag |
| Pages | 120-134 |
| Number of pages | 15 |
| Volume | 649 LNCS |
| ISBN (Print) | 9783540562825 |
| 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 | Sweden |
| City | Uppsala |
| Period | 6/10/92 → 6/12/92 |
Fingerprint
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Cite this
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. Vol. 649 LNCS 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
}
TY - GEN
T1 - Compiler optimizations for low-level redundancy elimination
T2 - An application of meta-level Prolog primitives
AU - Debray, Saumya K
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
M3 - Conference contribution
AN - SCOPUS:85007365607
SN - 9783540562825
VL - 649 LNCS
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
PB - Springer Verlag
ER -