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
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Ball Thomas, Sagiv Mooly
Buchtitel: Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages
Seitenbereich: 93-104
Verlag: ACM Press
Status: Veröffentlicht
Veröffentlichungsjahr: 2011 (31.12.2010)
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 38th Annual ACM Symposium on Principles of Programming Languages (POPL 2011), Austin, Texas, USA
ISBN: 978-1-4503-0490-0
Autor*innen der Universität Münster
| Lammich, Peter | |
| Müller-Olm, Markus |
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 |