Rustan Leino and Mike Barnett on Spec#

Posted in Frameworks, Development, Project Management, Testing, Conferences on August 21, 2008


Rustan Leino and Mike Barnett on Spec#

Summary
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.

Bio
Rustan Leino and Mike Barnett are part of an academic research time within Microsoft Research focused on programming languages and methods.

Watch Video

Tags: Frameworks, Interview, C#, .NET Framework, BDD, InfoQ, Spec#