Next / Previous / Shipman's Home Sweet Homepage / Site map

Permissible Cleanroom control structures

Only four branching constructs are allowed in Cleanroom code:

  1. Sequence: do A, then do B.
  2. Alternation: if condition C is true, then do A, else do B. Either A or B may be ``do nothing.''
  3. While loop: while condition C is true, do A.
  4. Definite iteration: do A to every component of some composite or container.

Next: Verifying a Cleanroom procedure
See also: Overview of the Cleanroom software methodology
Previous: Writing Cleanroom intended functions
Site map
John W. Shipman,
Last updated: 1996/03/09 22:37:10