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#!
Acknowledged as the world's leading independent unbiased developer reference source for .NET developers, .NET Developer's Journal features technical insights into every aspect of .NET, including the server side, the desktop, and mobile devices. Written by .NET developers for .NET developers, .NETDJ offers a lively mix of articles, interviews, product reviews, and commentary. .NETDJ's highly active editorial board includes some of the luminaries of the sorftware development world.