Precise interprocedural analysis through linear algebra (2004)

by M Müller-Olm, H Seidl
Venue:In POPL’04