In this section, we discuss the first stage of the three-stage programming contract. Recall that the first-stage contract is between the end user and an application program. Please refer to Figure 2 throughout the following discussion.
Figure 2:
Stage Contract Template