BT

Interview: Rustan Leino and Mike Barnett on Spec#

| by James Vastbinder Follow 0 Followers on Aug 22, 2008. Estimated reading time: less than one minute |

Greg Young sat down with Rustan Leino and Mike Barnett of Microsoft Research to discuss Spec#.  Spec# is a superset of C# version 2.0 and allows developers to impose contracts on their own code and verify it.

Topics covered in the interview:

  • Boogie
  • Eiffel Comparison
  • Pex
  • Unit Testing
  • Futures for Spec #

Enjoy this interview on Spec# brought you by Infoq.com.

Rate this Article

Adoption Stage
Style

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Tell us what you think

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread
Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Discuss
BT