The Static and Dynamic Semantics of C: Preliminary Version
Montages are a semi-visual formalism for defining the static and dynamic semantics of a programming language using Gurevich's Abstract State Machines (ASMs). WE describe an application for Montages to describe the static and dynamic semantics of the C programming language.
Creative Commons BY-NC-SA license
Huggins, James and Shen, Wuwei, "The Static and Dynamic Semantics of C: Preliminary Version" (2000). Computer Science Publications. 14.