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
04/03/2009 – 8:27 AM | By udooz | Posted in Uncategorized | Tagged , , | Comments (2)

2 Comments

  • Rajesh wrote:
    04/03/2009 at 10:45 AM

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

    Respond to this
    • udooz wrote:
      06/03/2009 at 12:33 AM

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

      Respond to this

Leave a Reply