BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

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

Interview: Rustan Leino and Mike Barnett on Spec#

Bookmarks

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
Style

BT