CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics.

Frédéric Besson Sandrine Blazy Pierre Wilke

Published in: J. Autom. Reason. (2019)

Keyphrases

general purpose
formal semantics
data structure
logic programming
main memory
memory space
level parallelism
semantic information
memory usage
computing power
random access
highly optimized
memory size
computational power
operational semantics
data sets
memory requirements
conceptual model
semantic web
high level