Posts tagged as ' Code Contracts .NET ' ...

 04 Mar 2009 @ 8:27 AM 
 

Spec#: Extending C#

 

At Microsoft Lab, they have developed a language called Spec# for extending C# long back.  The extensions covered now are:

  • Non-null types
  • Preconditions
  • Postconditions

The main outcome of this is Code Contracts .NET.  For more details, http://research.microsoft.com/en-us/projects/specsharp/.

Tags Tags: , ,
Categories: Uncategorized Posted By: udooz
Last Edit: 04 Mar 2009 @ 08 27 AM

Email • Permalink • Comments (2)
\/ More Options ...
Last 50 Posts
Back
Register an account
Change Theme...
  • Users » 1
  • Posts/Pages » 54
  • Comments » 39
Change Theme...
  • VoidVoid « Default
  • LifeLife
  • EarthEarth
  • WindWind
  • WaterWater
  • FireFire
  • LightLight