Formal C Semantics: CompCert and the C Standard.

Robbert Krebbers Xavier Leroy Freek Wiedijk

Published in: ITP (2014)

Keyphrases

query processing
formal language
neural network
formal semantics
operational semantics
databases
multiscale
logic programming
model theoretic