C# Code Contracts

GPTKB entity

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
https://www.w3.org/2000/01/rdf-schema#label C# Code Contracts
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 7