Sciweavers

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