The Static and Dynamic Semantics of C: Preliminary Version

James Huggins; Wuwei Shen

The Static and Dynamic Semantics of C: Preliminary Version

Kettering University

Research output: Contribution to journal › Article › peer-review

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.

Original language	American English
Journal	CiteSeerX
State	Published - Jan 1 2000

Keywords

Mantages
ASM
Abstract State Machines
C Programming Language

Disciplines

Computer Sciences
Programming Languages and Compilers

Cite this

@article{9d04346ab2864291aafc309a145e1d43,

title = "The Static and Dynamic Semantics of C: Preliminary Version",

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.",

keywords = "Mantages, ASM, Abstract State Machines, C Programming Language",

author = "James Huggins and Wuwei Shen",

year = "2000",

month = jan,

day = "1",

language = "American English",

journal = "CiteSeerX",

}

TY - JOUR

T1 - The Static and Dynamic Semantics of C: Preliminary Version

AU - Huggins, James

AU - Shen, Wuwei

PY - 2000/1/1

Y1 - 2000/1/1

N2 - 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.

AB - 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.

KW - Mantages

KW - ASM

KW - Abstract State Machines

KW - C Programming Language

UR - https://digitalcommons.kettering.edu/computerscience_facultypubs/14

M3 - Article

JO - CiteSeerX

JF - CiteSeerX

ER -

The Static and Dynamic Semantics of C: Preliminary Version

Abstract

Keywords

Disciplines

Other files and links

Cite this