@inproceedings{Muller08Upper, author = {Markus M\"uller-Olm and Helmut Seidl}, title = {Upper {A}djoints for {F}ast {I}nter-procedural {V}ariable {E}qualities}, booktitle = {Programming Languages and Systems}, editor = {Sophia Drossopoulou}, month = {April}, year = 2008, pages = {178-192}, series = {Lecture Notes in Computer Science}, volume = {4960}, publisher = {Springer}, address = {Budapest, Hungary}, }