Assertion: condition | /r/HasProperty | predicate
Facets:
value: in computer programming
type: OTHER
Source sentences:
text: In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification.