InfoQ Homepage Presentations Compile-time Verification, It's Not Just for Type Safety Any More
Compile-time Verification, It's Not Just for Type Safety Any More
01:01:30
Summary
Greg Young talks about .NET’s Contracts library, showing how to use it, what it is good for, and how it improves code quality.
Bio
Greg Young is co-founder and CTO of IMIS, a stock market analytics firm. He has 10+ years of varied experience in computer science from embedded operating systems to business systems. In his spare time you can often find Greg on experts-exchange.com where he runs the .NET section of the site, writing articles for InfoQ.com, or speaking at local .NET groups.
About the conference
QCon is a conference that is organized by the community, for the community.The result is a high quality conference experience where a tremendous amount of attention and investment has gone into having the best content on the most important topics presented by the leaders in our community.QCon is designed with the technical depth and enterprise focus of interest to technical team leads, architects, and project managers.
Jul 05, 2011