An executable formal semantics of C with applications.

Chucky Ellison Grigore Rosu

Published in: POPL (2012)

Keyphrases

formal semantics
first order logic
formal language
er model
formal specification
operational semantics
modeling language
modelling language
logical language
theorem prover
ontology languages
expressive power
speech acts
logical reasoning
software systems