Next / Previous / Contents / Shipman's homepage

6. The code: Overview

The balance of this document contains the actual code for the interfaces described above, using the technique of lightweight literate programming.

All this code was developed using the Cleanroom software development methodology. Comments in [ square brackets ] are Cleanroom intended functions, a notation especially good for describing interfaces exactly.