Sciweavers

185
Voted
POPL
2004
ACM
15 years 10 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm