Microsoft Research: Spec#

Hanselminutes with Scott Hanselman - En podkast av Scott Hanselman - Torsdager

Kategorier:

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#!

Visit the podcast's native language site