Error: no such theme PatternSkinTheme

Contracts

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.

Original Source

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 [http://download.plt-scheme.org/doc/mzlib/mzlib-Z-H-14.html#node_chap_14 chapter 14 of <i>PLT MzLib: libraries manual</i>].
Topic revision: r2 - 2010-07-14, JeffLeep
 

This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback