6 lines
335 B
Text
6 lines
335 B
Text
This module implements a deterministic, rectifying variant on Dijkstra's
|
|
guarded commands. Each named step is passed two blocks: an "ensure"
|
|
block that defines a test for a necessary and sufficient condition of
|
|
the step, and a "using" block that will cause that condition to obtain.
|
|
|
|
WWW: http://search.cpan.org/dist/Commands-Guarded
|