HOME | DEUTSCH | IMPRESSUM | KIT

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

Authors at the institute

Partner
Prof. Markus Müller-Olm

Projects

Project
IFC for Mobile Components