Microsoft Research: Spec#
Show #110 | 2008-Apr-22 | Permalink |
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#!
Download the Show
Read the Transcript
Links from the Show
Hosted by Scott Hanselman
Scott Hanselman is a former professor, former Chief Architect in finance, now speaker, consultant, father, diabetic, and Microsoft employee. I promise not to waste your time.
Sponsored by
Building quality software is never easy. It requires skills and imagination. We cannot promise to improve your skills, but when it comes to User Interface and developer tools, we can provide the building blocks to take your application a step closer to your imagination. Explore the leading UI suites for ASP.NET AJAX, MVC, Silverlight, Windows Forms and WPF. Enjoy developer tools like .NET Reporting, ORM, Automated Testing Tools, Agile Project Management Tools, and Content Management Solution. And now you can increase your productivity with JustCode, Telerik’s new productivity tool for code analysis and refactoring. Visit www.telerik.com.
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.