Polymorphic splitting: An effective polyvariant flow analysis (1998)

by A K WRIGHT, S JAGANNATHAN
Venue:ACM Transactions on Programming Languages and Systems