An abstract dynamic semantics for C (1997)
by
Michael Norrish
| Venue: | Computer Laboratory, University of Cambridge |
| Citations: | 14 - 1 self |
BibTeX
@TECHREPORT{Norrish97anabstract,
author = {Michael Norrish},
title = {An abstract dynamic semantics for C},
institution = {Computer Laboratory, University of Cambridge},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
