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/.

Share This: These icons link to social bookmarking sites where readers can share and discover new web pages.
  • Digg
  • del.icio.us


  • Rajesh wrote:

    What is Non – NULL types?
    When spec# will be released? In Framework 4.0?

    Respond to this
    • udooz wrote:

      Code Contracts.NET has been released based on Spec#.

      Respond to this

Leave a Reply