Journal Article: Fast interprocedural linear two-variable equalities

[Flexeder:2012:FIL:2049706.2049710]

Andrea Flexeder, Markus Müller-olm, Michael Petter, Helmut Seidl, Fast interprocedural linear two-variable equalities, ACM Trans. Program. Lang. Syst., Vol. 33, (6), pp. 21:1--21:33, January 2012.

Download

[DOI]

BibTeX

@article{Flexeder:2012:FIL:2049706.2049710,
  title = {Fast interprocedural linear two-variable equalities},
  year = {2012},
  month = jan,
  publisher = {ACM},
  volume = {33},
  number = {6},
  pages = {21:1--21:33},
  journal = {ACM Trans. Program. Lang. Syst.},
  author = {Andrea Flexeder and Markus M{\"u}ller-olm and Michael Petter and Helmut Seidl},
  address = {New York, NY, USA},
  doi = {10.1145/2049706.2049710},
}

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project

IFC for Mobile Components