InfoQ Homepage News Interview: Rustan Leino and Mike Barnett on Spec#

Interview: Rustan Leino and Mike Barnett on Spec#


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

Rate this Article


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.

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

Community comments

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

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


Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.