Generating correct initial page tables from formal hardware descriptions
Autor: | Timothy Roscoe, Roni Haecki, Reto Achermann, Lukas Humbel, Nora Hossle, Daniel David Schwyn, David Cock |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2021 |
Předmět: | |
Zdroj: | PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems PLOS@SOSP |
Popis: | PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems ISBN:978-1-4503-8707-1 |
Databáze: | OpenAIRE |
Externí odkaz: |