language: en

The Semantics of the C Programming Language

Yuri Gurevich and James K. Huggins
EECS Department, University of Michigan,
Ann Arbor, MI 48109-2122, USA
February 19, 1993

[This paper first appeared in [GH2], and incorporates the corrections indicated in [GH3].]

0 Introduction