Assertion: contract | /r/HasProperty | implemented with assert
Facets:
value: in many programming languages
type: OTHER
Source sentences:
text: In many programming languages, contracts are implemented with assert.