Executable semantics in C

[bearophile]

Robert Clipsham:

> They seem to be creating a pretty complete system for identifying bugs 
> and reducing test cases. A similar tool could be useful for D, it's a 
> huge task though.

Given that D is a new language, the first duty is to put less traps/undefined situations in the language, compared to C, even when this doesn't allow a perfectly efficient mapping on every CPU.

Bye,
bearophile