Partitioning dataflow analyses using types (1997)

by E RUF
Venue:In Conference Record of the Twentyfourth Annual ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages