Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog An operational and axiomatic semantics for non-determinism and sequence points in C