A Typed Intermediate Language for Flow-Directed Compilation (1997)
Cached
Download Links
- [swissnet.ai.mit.edu]
- [oak.bc.edu]
- [swissnet.ai.mit.edu]
- [cs.wellesley.edu]
- [cs.wellesley.edu]
- DBLP
Other Repositories/Bibliography
by
J. B. Wells
,
Allyn Dimock
,
Robert Muller
,
Franklyn Turbak
| Citations: | 22 - 13 self |
BibTeX
@MISC{Wells97atyped,
author = {J. B. Wells and Allyn Dimock and Robert Muller and Franklyn Turbak},
title = {A Typed Intermediate Language for Flow-Directed Compilation},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a typed intermediate language # CIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language # CIL is a typed lambda calculus with product, sum, intersection, and union types as well as function types annotated with flow labels. A novel formulation of intersection and union types supports encoding flow information in the typed program representation. This flow information can direct optimization.
