Sciweavers

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