Fast interprocedural linear two variable equalities

Flexeder Andrea, Müller-Olm Markus, Petter Michael, Seidl Helmut

Forschungsartikel (Zeitschrift) | Peer reviewed

Details zur Publikation

Fachzeitschrift: ACM Transactions on Programming Languages and Systems

Jahrgang / Bandnr. / Volume: 33

Ausgabe / Heftnr. / Issue: 6

Status: Veröffentlicht

Veröffentlichungsjahr: 2011 (31.12.2011)

Sprache, in der die Publikation verfasst ist: Englisch

Professur für Praktische Informatik (Prof. Müller-Olm)