Specifications



next up previous contents index
Next: Stand-Alone Routine Specifications Up: No Title Previous: Make Statement

Specifications

New types and routines are introduced by giving specifications. Specifications can be parameterized; we describe non-parameterized specifications first, and then discuss parameterization in Section 9.3.





theta-questions@lcs.mit.edu