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/

Reply via email to