BT

InfoQ Homepage Spec# Content on InfoQ

Interviews

RSS Feed
  • 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# 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.

    Rustan Leino and Mike Barnett on Spec#
    Icon
    16:07
BT

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:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.