Title
The Static and Dynamic Semantics of C: Preliminary Version
Document Type
Article
Publication Date
2000
Publication Title
CiteSeerX
Abstract
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.
Rights
Creative Commons BY-NC-SA license
Recommended Citation
Huggins, James and Shen, Wuwei, "The Static and Dynamic Semantics of C: Preliminary Version" (2000). Computer Science Publications. 14.
https://digitalcommons.kettering.edu/computerscience_facultypubs/14
