Hanselminutes: Microsoft Research: Spec#

Produced by Hanselminutes published 12 years ago | Filed in
Hanselminutes

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

Download Original File | View original post

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

You might also like...

Comments

C# tutorials

C# forum discussion

C# jobs

Contribute

Why not write for us? Or you could submit an event or a user group in your area. Alternatively just tell us what you think!

Web Development

Developer Jobs

Our tools

We've got automatic conversion tools to convert C# to VB.NET, VB.NET to C#. Also you can compress javascript and compress css and generate sql connection strings.

Cancel
“God could create the world in six days because he didn't have to make it compatible with the previous version.”