CSC 302: Contracts

From CSWiki

In PLT Scheme, a contract is a value that can be used to express preconditions and postconditions on procedures and to automate the process of figuring out who is to blame when those conditions aren't met. Contracts and the forms that are used to create, combine, and manipulate them and to attach them to values are described in chapter 14 of PLT MzLib: libraries manual.