Spec#

Right on the heels of Herb Sutter’s talk about Concur, here’s another interesting project from Microsoft Research: Spec#, a language + static analyzer + runtime analyzer which allows you to explicitly declare invariants, pre- and post-conditions in your code, and have them checked as much as possible during compilation, and at run time. Comes with a VS.NET plugin which, Eclipse-style underlines the dubious constructs in the code even as you type.
Again, when do I get the compiler?

Leave a Reply