Precise interprocedural analysis through linear algebra (2004)

by M Muller-Olm, H Seidl
Venue:In Proc. of 31st ACM Symp. on Principles of Programming Languages (POPL'04