Rustan Leino and Mike Barnett on Spec#

Topics

.NET Framework,

Programming,

.NET

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.

•  By  Rustan Leino & Mike Barnett on Aug 21, 2008,
•   Discuss