Partitioning dataflow analyses using types (1997)

by Erik Ruf
Venue:In Proceedings of the SIGPLAN ’95 Conference on Programming Language Design and Implementation