Flow sensitive type quali (2002)

by J S Foster, T Terauchi, A Aiken
Venue:Conf. Programming Languages Design and Implementation (to appear), ACM