Sciweavers

241
Voted
POPL
2004
ACM
16 years 3 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm