KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1145/1926385.1926398
Scopus
Zitationen: 4
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2011
Sprache Englisch
Identifikator ISSN: 0362-1340
KITopen-ID: 1000120895
Erschienen in Proceedings of the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'11) ; January 26 - 28, 2011, Austin, Texas, USA ; POPL 2011
Veranstaltung 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011), Austin, TX, USA, 26.01.2011 – 28.01.2011
Verlag ACM, New York, NY, USA
Seiten 93–104
Serie ACM SIGPLAN notices ; 46,1
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page