Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
| Imagen |  |
|---|---|
| Descripción | artículo científico publicado en 2024 |
| Autoría |
autor: Ian Stark David Chisnall Ricardo Almeida Brian Campbell Jessica Clarke Alexander Richardson Robert N. M. Watson Peter Sewell Kayvan Memarian Brooks Davis Vadim Zaliva |
| Fecha de publicación | 17 de abril de 2024 |
| Idioma | |
| País de origen | |
| Enlace a Wikipedia | |
| Estatus de derecho de autor | Desconocido |
| ¿Datos faltantes/errados? | Editar ítem de Wikidata |