Code Contracts

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:developedBy gptkb:Microsoft_Research
gptkbp:discontinued true
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 Code Contracts
gptkbp:integratesWith gptkb:Visual_Studio
gptkbp:latestReleaseVersion 2015
1.10.20606.1
gptkbp:license gptkb:Microsoft_Public_License
gptkbp:platform gptkb:.NET_Framework
gptkbp:programmingLanguage gptkb:C#
gptkbp:provides gptkb:design_by_contract
documentation generation
runtime checking
static checking
gptkbp:repository https://github.com/Microsoft/CodeContracts
gptkbp:usedFor specifying object invariants
specifying postconditions
specifying preconditions
gptkbp:bfsParent gptkb:Spec#
gptkbp:bfsLayer 6