The C programming language
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
Hi-index | 0.00 |
The C-light language is described, which is a representative subset of C. C-light permits deterministic expressions, limited use of switch and goto statements, and, instead of library functions for work with dynamic memory, includes C++ statements new and delete. A survey of structured operational semantics of the C-light language in Plotkin's style is given.