Microsoft Research: Spec#
Published April 22, 2008
35 min
    Add to queue
    Copy URL
    Show notes
    Scott sits down with Mike Barnett and Rustan Leino of Microsoft Research and talks about the Spec# programming language. The compiler enables Design By Contract and extends C#. The team needs your help to get these features in the next version of C#!
        0:00:00 / 0:00:00