Fast interprocedural linear two variable equalities
Flexeder Andrea, Müller-Olm Markus, Petter Michael, Seidl Helmut
Research article (journal) | Peer reviewedDetails about the publication
Journal: ACM Transactions on Programming Languages and Systems
Volume: 33
Issue: 6
Status: Published
Release year: 2011 (31/12/2011)
Language in which the publication is written: English
Authors from the University of Münster
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |