Microsoft Research: Spec#
Hanselminutes with Scott Hanselman22 Apr 2008

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

Populært innen Fakta

merry-quizmas
fastlegen
dine-penger-pengeradet
relasjonspodden-med-dora-thorhallsdottir-kjersti-idem
rss-strid-de-norske-borgerkrigene
treningspodden
foreldreradet
jakt-og-fiskepodden
dypdykk
fryktlos
tomprat-med-gunnar-tjomlid
smart-forklart
sinnsyn
gravid-uke-for-uke
hverdagspsyken
rss-kunsten-a-leve
rss-sarbar-med-lotte-erik
rss-sunn-okonomi
rss-impressions-2
okrimpodden