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

Cleanroom intended functions: Special I/Fs

Some of the side effects of programs don't fit nicely into the `state item := new value' model. Here are notations I use in Python for these:


Next: Cleanroom intended functions: Compound I/Fs
See also: Writing Cleanroom intended functions
Previous: Cleanroom intended functions: Prose I/Fs
Site map
John W. Shipman, john@nmt.edu
Last updated: 2003/10/09 21:18:51
URL: http://www.nmt.edu/~shipman/soft/clean/special-i-f.html