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...
Related articles
Related discussion
-
LINQ in Action
by naser1 (0 replies)
-
Class, Abstract or Interface ?
by Expvice (1 replies)
-
C# video Editing/rendering
by pkuchaliya (0 replies)
-
How to Fill DataSet with more records (around 1 lakh) in a faster way
by Jayaram P (0 replies)
-
Can't print on the network with MSADESS ??
by anatha1 (2 replies)
Comments
Leave a comment
Sign in or Join us (it's free).