Conference
Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code
| Τίτλος: | Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code |
|---|---|
| Συγγραφείς: | Chavanon, Clément, Karlsson, Henrik, Besson, Frédéric, Blazy, Sandrine, Guanciale, Roberto |
| Πηγή: | Proceedings of the 27th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. :85-96 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3814943.3816170 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3814943.3816170 |
|---|