.Net

Code contracts in DotNet 4.0

Microsoft research has come out with some new additions in the .Net 4.0 release, and one feature that caught my eye was code contracts. An earlier Microsoft research project dealt with a language called spec#, which is an extension of C# but with some added enhancements (http://research.microsoft.com/en-us/projects/specsharp/), code contracts being one of them. Now that … Continue reading