Sciweavers

ESOP
1999
Springer
14 years 2 months ago
Deterministic Expressions in C
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
Michael Norrish