Code Contracts from Microsoft Research

Developer
Nov 28, 2008 at 8:43 PM
Hi Andre,

It was revealed at PDC2008 that .NET v4.0 will include code contracts (DbC) with compile-time static analysis.  Currently, these contracts are available in the Code Contracts framework from Microsoft Research.  I thought you might be interested since you already use a DbC library in your game, but it lacks static analysis capabilities.

Cheers,
Mike
Coordinator
Dec 3, 2008 at 6:40 PM
This discussion has been copied to a work item. Click here to go to the work item and continue the discussion.
Coordinator
Dec 3, 2008 at 6:47 PM
Hi Mike,

nice to hear you. This is very good advise!

Thank you.

Andre