Ready for InfoQ 3.0? Try the new design and let us know what you think!


Rustan Leino and Mike Barnett on Spec#

Interview with Rustan Leino Follow 0 Followers , Mike Barnett Follow 0 Followers 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.