An operational and axiomatic semantics for non-determinism and sequence points in C (Q5408409)
From MaRDI portal
scientific article; zbMATH DE number 6282415
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An operational and axiomatic semantics for non-determinism and sequence points in C |
scientific article; zbMATH DE number 6282415 |
Statements
An operational and axiomatic semantics for non-determinism and sequence points in C (English)
0 references
10 April 2014
0 references
C verification
0 references
Coq
0 references
interactive theorem proving
0 references
operational semantics
0 references
separation logic
0 references
