Executable semantics in C

[Robert Clipsham]

Just read another excellent article by John Regehr, this time about 
executable semantics:

http://blog.regehr.org/archives/523

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.

Of course, as mentioned in reply to the last thread, D has plenty of its 
own bugs to worry about before getting onto things like this, it's an 
interesting read regardless though.

-- 
Robert
http://octarineparrot.com/