The Static and Dynamic Semantics of C: Preliminary Version
James Huggins, Wuwei Shen · 2000
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.