Sign in
Exploring C semantics and pointer provenance.
Kayvan Memarian
Victor B. F. Gomes
Brooks Davis
Stephen Kell
Alexander Richardson
Robert N. M. Watson
Peter Sewell
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
provenance information
formal semantics
data structure
metadata
databases
operational semantics
data provenance
argumentation semantics
data sets
information retrieval
logic programming
conceptual model
specification language