Search results for "dist:Commands-Guarded TREY"
Commands::Guarded - Better scripts through guarded commands
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...
TREY/Commands-Guarded-1.01 - 03 Aug 2009 17:39:07 UTC