Episode 110
Microsoft Research: Spec#
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#!
Hanselminutes with Scott Hanselman
April 22, 200835m 0s
Audio is streamed directly from the publisher (r.zen.ai) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
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#!