Type-based flow analysis: From polymorphic subtyping to CFL-reachability (0)

by J Rehof, M Fähndrich
Venue:In POPL ’01: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages