Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.
Vadim ZalivaKayvan MemarianRicardo AlmeidaJessica ClarkeBrooks DavisAlexander RichardsonDavid ChisnallBrian CampbellIan StarkRobert N. M. WatsonPeter SewellPublished in: ASPLOS (1) (2024)
Keyphrases
- formal language
- model theoretic
- provenance information
- operational semantics
- machine processable
- formal semantics
- specification languages
- metadata
- formal model
- semantic information
- user behaviour
- formal specification
- data provenance
- highly expressive
- semantic representation
- logic programming
- dynamic aspects
- description logics
- precisely defined
- argumentation semantics
- object oriented data models
- default reasoning