A Simple Code Improvement Scheme for Prolog (1992)
Cached
Download Links
- [www.cs.arizona.edu]
- [www.cs.arizona.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Journal of Logic Programming |
| Citations: | 23 - 3 self |
BibTeX
@ARTICLE{Debray92asimple,
author = {Saumya K. Debray},
title = {A Simple Code Improvement Scheme for Prolog},
journal = {Journal of Logic Programming},
year = {1992},
volume = {13},
pages = {57--88}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The generation of efficient code for Prolog programs requires sophisticated code transformation and op-timization systems. Much of the recent work in this area has focussed on high level transformations, typi-cally at the source level. Unfortunately, such high level transformations suffer from the deficiency of be-ing unable to address low level implementational details. This paper presents a simple code improvement scheme that can be used for a variety of low level optimizations. Applications of this scheme are illustrat-ed using low level optimizations that reduce tag manipulation, dereferencing, trail testing, environment al-location, and redundant bounds checks. The transformation scheme serves as a unified framework for rea-soning about a variety of low level optimizations that have, to date, been dealt with in a more or less ad hoc manner.
