Hanselminutes - Fresh Talk And Tech For Developers
Microsoft Research: Spec#
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 0:35:00
- Mas informaciones
Informações:
Sinopsis
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#!
