Abstract
A powerful method of simplifying the proofs of program correctness is suggested; and some new light is shed on the problem of functions with side-effects.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have