Universität Münster
CRIS@UM
DE | EN

Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis

Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innen: Falaschi Moreno
Buchtitel: Logic-Based Program Synthesis and Transformation
Verlag: Springer International Publishing
Titel der Reihe: Theoretical Computer Science and General Issues
Nr. in Reihe: 9527
Status: Veröffentlicht
Veröffentlichungsjahr: 2015
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 25th International Symposium Logic-Based Program Synthesis and Transformation, Siena, Italien
DOI: 10.1007/978-3-319-27436-2_12

Autor*innen der Universität Münster

Müller-Olm, Markus
Professur für Praktische Informatik (Prof. Müller-Olm)
Wenner, Alexander
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.2014 - 30.06.2018 | 3. Förderperiode
Gefördert durch: DFG - Schwerpunktprogramm
Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster
Optimale Interprozedurale Analyse von Programmen mit dynamischer Thread-Erzeugung (OpIAT)
Laufzeit: 01.12.2012 - 31.12.2015 | 2. Förderperiode
Gefördert durch: DFG - Sachbeihilfe/Einzelförderung
Art des Projekts: Gefördertes Einzelprojekt