Routine Contract

**Semantic type:** Conceptual Entity

**Definition:** A logical constraint that can be a pre-condition, post-condition or logical invariant that holds throughout the lifetime of the function or object.

**Synonyms:** - Contract