Spec# Content on InfoQ
Interviews about Spec#
Rustan Leino and Mike Barnett on Spec#
by
Rustan Leino & Mike Barnett
Posted on
Aug 21, 2008
Greg Young sat down with Rustan Leino and Mike Barnett of Microsoft Research to discuss Spec#. Spec# is a superset of C# and allows developers to impose contracts on their own code and verify it. This benefits developers by allowing them to find their own errors sooner saving time and resources.
News about Spec#
Spec# and Boogie Released on CodePlex by Jonathan Allen Posted on Aug 05, 2009
.NET 4 Feature Focus: Code Contracts by Jonathan Allen Posted on Nov 09, 2008
Interview: Rustan Leino and Mike Barnett on Spec# by James Vastbinder Posted on Aug 22, 2008
Call for Microsoft to Release Spec# by James Vastbinder Posted on May 28, 2008
Spec# Puts an End to Null Reference Exceptions by Jonathan Allen Posted on Apr 18, 2007
