A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
From Polyvariant flow information to intersection and union types
2001
Journal of functional programming
Many polyvariant program analyses have been studied in the 1990s, including k-CFA, polymorphic splitting, and the cartesian product algorithm. The idea of polyvariance is to analyze functions more than once and thereby obtain better precision for each call site. In this paper we present an equivalence theorem which relates a co-inductivelydefined family of polyvariant flow analyses and a standard type system. The proof embodies a way of understanding polyvariant flow information in terms of
doi:10.1017/s095679680100394x
fatcat:h4ddsoodafajrfjjom4a2nqmji