An Executable Semantics for CompCert C.

Published in: CPP (2012)

Keyphrases

semantic information
formal semantics
control flow
logic programming
nonmonotonic logics
attribute grammars
database
data sets
machine learning
artificial intelligence
metadata
relational databases
domain knowledge
owl ontologies
logical language
update semantics