BT

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
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT