@inproceedings{Muller-Olm04Precise, author = {Markus M\"uller-Olm and Helmut Seidl}, title = {Precise interprocedural analysis through linear algebra}, booktitle = {Principles of Programming Languages}, editor = {Neil D. Jones and Xavier Leroy}, month = {January}, year = 2004, pages = {330-341}, publisher = {ACM}, address = {Venice,Italy}, }