bent3sl

The following transformation was found in an article on program manipulation published in Communications of the ACM (See [1] Section 2.3.4): do S1 od is equivalent to do S2 od if and only if do S1 od is equivalent to do S1; S2 od Here, S1 and S2 are any statem…