Topic: GENERAL LOGIC
An abstract dynamic semantics for C
Michael Norrish
This report is a presentation of a formal semantics for the C programming language.
The semantics has been defined operationally in a structured semantics style and covers the bulk of the core of the language.
The semantics has been developed in a theorem prover (HOL), where some expected consequences of the language definition have been proved.
Download
Posted by Tony Marmo
at 07:25 BST
Updated: Sunday, 19 September 2004 07:34 BST
