Fast interprocedural linear two variable equalities
Flexeder Andrea, Müller-Olm Markus, Petter Michael, Seidl Helmut
Forschungsartikel (Zeitschrift) | Peer reviewedDetails 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
Autor*innen der Universität Münster
| Müller-Olm, Markus | Professur für Praktische Informatik (Prof. Müller-Olm) |
Projekte, aus denen die Publikation entstanden ist
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2010 - 30.09.2013 | 1. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster |