Geeks With Blogs


This blog has moved to

 Subscribe in a reader

Add to Google Reader or Homepage

View my teams slideshare
These postings are provided "AS IS" with no warranties, and confer no rights.

IUpdateable has moved to Please visit

While at TechEd Europe in November 2009 I had a chance to catch up with the two lead developers of the Pex team Peli de Halleux and Nikolai Tillmann to talk about Code Contracts.

Code Contracts contains a common library (System.Diagnostics.Contracts) for expressing pre-conditions, post-conditions and invariants which any tool writer can take advantage of. A number of tools are available on devlabs including a documentation extracter and a static analysis tool. Code Contracts works with .Net 4 and .Net 2.

Hear why Code Contracts is a better way of implementing assertions including enabling the conditons to be specified against interfaces - sweet!


Download/Play MSDN Flash Show 013

  • Subscribe in FeedDemon or similar
  • Subscribe in ITunes
  • Listen/download all podcasts on channel 9
  • All podcast posts on my blog with show notes etc  (This also gets you 001 to 006)
  • Posted on Thursday, December 10, 2009 11:52 AM Podcast | Back to top

    Comments on this post: MSDN Flash Podcast 013 – Code Contracts at TechEd Europe

    No comments posted yet.
    Your comment:
     (will show your gravatar)

    Copyright © Eric Nelson | Powered by: