http://msmvps.com/blogs/gbarnett/archive/2008/11/09/code-contracts-my-opinion-on-them-anyway.aspxOne of the great things that came out of the PDC for me was the confirmation that code contracts would be coming to .NET 4.0. I was a big fan of Spec# [1] but admittedly I never thought it would make it into the mainstream C# or VB.NET languages evenenCommunityServer 2008.5 SP2 (Build: 40407.4157)http://msmvps.com/blogs/gbarnett/archive/2008/11/09/code-contracts-my-opinion-on-them-anyway.aspx#1653750Tue, 11 Nov 2008 13:42:07 GMTd67277c4-116b-43f1-b688-e9ef184ea916:1653750Dew Drop - November 11, 2008 | Alvin Ashcraft's Morning Dew<p>Pingback from &nbsp;Dew Drop - November 11, 2008 | Alvin Ashcraft&#39;s Morning Dew</p> <img src="http://msmvps.com/aggbug.aspx?PostID=1653750" width="1" height="1">http://msmvps.com/blogs/gbarnett/archive/2008/11/09/code-contracts-my-opinion-on-them-anyway.aspx#1653707Tue, 11 Nov 2008 01:28:01 GMTd67277c4-116b-43f1-b688-e9ef184ea916:1653707TraumaPony<p>I agree. I&#39;d definitely like to see it included in pre/post/invariant keywords like in Spec#, but for the time being, this is better than nothing.</p> <p>QUT HIGH FIVE</p> <div style="clear:both;"></div><img src="http://msmvps.com/aggbug.aspx?PostID=1653707" width="1" height="1">