|
(TYPES forum)
Formalizing the semantics of C is far from trivial. The language has many implementation dependent features, making any model that presupposes their behaviour inadequate.
This discussion contains examples of such features (e.g., out of bounds array access), and links to some brave attempts to provide some formal treatment of C semantics.
Posted to theory by Ehud Lamm on 12/29/01; 11:12:26 AM
|
Formal semantics for C
