Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Ball Thomas, Sagiv Mooly
Book title: Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages
Page range: 93-104
Publisher: ACM Press
Status: Published
Release year: 2011 (31/12/2010)
Language in which the publication is written: English
Conference: 38th Annual ACM Symposium on Principles of Programming Languages (POPL 2011), Austin, Texas, USA
ISBN: 978-1-4503-0490-0
Authors from the University of Münster
| Lammich, Peter | |
| Müller-Olm, Markus |
Projects the publication originates from
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components) Duration: 01/10/2010 - 30/09/2013 | 1st Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster |