Spec#  Content on InfoQ rss

Interviews about Spec# rss

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.

General Feedback
Marketing and all content copyright © 2006-2016 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy