Type-Directed Flow Analysis for Typed Intermediate Languages (1997)
| Venue: | In Proc. 4th Int’l Static Analysis Symp |
| Citations: | 16 - 2 self |
BibTeX
@INPROCEEDINGS{Jagannathan97type-directedflow,
author = {Suresh Jagannathan and Stephen Weeks and Andrew Wright},
title = {Type-Directed Flow Analysis for Typed Intermediate Languages},
booktitle = {In Proc. 4th Int’l Static Analysis Symp},
year = {1997},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. Flow analysis is especially valuable for optimizing functional languages because control-flow information is not syntactically apparent in higher-order programs. Flow analyses typically operate on untyped languages. However, recent compilers for typed functional languages such as ML and Haskell use a typed intermediate language to expose data representations for optimization. This paper presents a polyvariant flow analysis framework for the predicative subset of system F , a common basis for typed intermediate languages. Analyses in this framework can take advantage of types to analyze programs more precisely. We study a specific analysis called SRT that uses types to control polyvariance. We prove that SRT respects types: whenever it assigns abstract value v to a variable and the type system assigns type oe to the same variable, then [[v]] ` [[oe]], where [[ \Delta ]] denotes a set of values. SRT does not terminate for some programs. We present several variants of SRT that are bett...
