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 inom Utbildning

rss-bara-en-till-om-missbruk-medberoende-2
det-skaver
historiepodden-se
alska-oss
nu-blir-det-historia
johannes-hansen-podcast
harrisons-dramatiska-historia
allt-du-velat-veta
roda-vita-rosen
sektledare
not-fanny-anymore
rss-max-tant-med-max-villman
rss-sjalsligt-avkladd
sa-in-i-sjalen
psykologsnack
kungar-och-krig
nar-man-talar-om-trollen
dumforklarat
vi-gar-till-historien
rikatillsammans-om-privatekonomi-rikedom-i-livet