contract programming

What Is A Contract In Programming? Contracts enable specifying conditions that must hold true when the flow of runtime execution reaches the contract. If a contract is not true, then the program is assumed to have entered an undefined state. Rationale: Building contract support into the language provides: … easier management and enforcement of contracts.