Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
| 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 | Association for Computing Machinery (ACM) |
| Seiten | 93–104 |
| Serie | ACM SIGPLAN notices ; 46,1 |
| Nachgewiesen in | Dimensions Scopus |