Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developedBy |
gptkb:Microsoft_Research
|
| gptkbp:documentation |
https://docs.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts
|
| gptkbp:firstReleased |
2009
|
| gptkbp:integratesWith |
gptkb:.NET_Framework
|
| gptkbp:lastStableRelease |
1.10.12098.2
|
| gptkbp:license |
gptkb:Microsoft_Research_License
|
| gptkbp:programmingLanguage |
gptkb:C#
|
| gptkbp:provides |
documentation generation
runtime checking static checking design-by-contract features |
| gptkbp:repository |
https://github.com/Microsoft/CodeContracts
|
| gptkbp:status |
discontinued
|
| gptkbp:usedFor |
specifying object invariants
specifying postconditions specifying preconditions |
| gptkbp:bfsParent |
gptkb:Design_by_Contract
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
C# Code Contracts
|