Re: Formal semantics for C

"S.J.Thompson" <S.J.Thompson@ukc.ac.uk> writes:
> Query about the formal semantics of C:
> Are types readers aware of any work on formalizing the semantics
> of the C programming language?

Michael Norrish (Computer Lab, University of Cambridge) developed a
formal model for C and embedded this model into the HOL theorem
prover.  More information here:


--Ken Friis Larsen