Library podcasts
Hanselminutes: 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#!
- Running time
- 0h35m
- File size
- 24.00MB
Episode synopsis
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#!
Events coming up
-
Dec
7
An Event Apart San Francisco 2009
San Francisco, United States
From the makers of A List Apart: An Event Apart is an intensely educational two-day conference for passionate practitioners of standards-based web design. If you care about code as well as content, usability as well as design, An Event Apart is th...
Comments
Leave a comment
Sign in or Join us (it's free).