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 reviewedDetails 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, undefined
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) |