Sciweavers

Share
TAPSOFT
1997
Springer

A Typed Intermediate Language for Flow-Directed Compilation

9 years 2 months ago
A Typed Intermediate Language for Flow-Directed Compilation
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.
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where TAPSOFT
Authors J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
Comments (0)
books