Sciweavers

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