Conference Papers: Precise interprocedural analysis through linear algebra

[Muller-Olm:2004:PIA:964001.964029]

Markus Müller-Olm, Helmut Seidl, Precise interprocedural analysis through linear algebra, Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 330--341, ACM, New York, NY, USA, 2004.

Download

[DOI]

BibTeX

@inproceedings{Muller-Olm:2004:PIA:964001.964029,
  title = {Precise interprocedural analysis through linear algebra},
  booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  year = {2004},
  publisher = {ACM},
  pages = {330--341},
  author = {Markus M{\"u}ller-Olm and Helmut Seidl},
  series = {POPL '04},
  address = {New York, NY, USA},
  doi = {10.1145/964001.964029},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project

IFC for Mobile Components