ad4f267b7a
search.cpan.org is shutting down. It will redirect to metacpan.org after June 25, 2018. With hat: perl
6 lines
336 B
Text
6 lines
336 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: https://metacpan.org/release/Commands-Guarded
|