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

Like Bookmarks

View Presentation Vertical

Horizontal

Full

Speed: 1x

1.25x

1.5x

2x

Download MP3 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.