RECENT POSTS

P5-commands-guarded

May 26, 2018

Deterministic guarded commands for Perl

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/