Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis
Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Falaschi Moreno
Book title: Logic-Based Program Synthesis and Transformation
Publisher: Springer International Publishing
Title of series: Theoretical Computer Science and General Issues
Volume of series: 9527
Status: Published
Release year: 2015
Language in which the publication is written: English
Conference: 25th International Symposium Logic-Based Program Synthesis and Transformation, Siena, Italien
Authors from the University of Münster
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |
| Wenner, Alexander | Professorship for practical computer science (Prof. Müller-Olm) |
Projects the publication originates from
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (3rd funding period) (IFC for Mobile Components) Duration: 01/10/2014 - 30/06/2018 | 3rd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster | |
Duration: 01/12/2012 - 31/12/2015 | 2nd Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project |