Learn More
In this paper, a tool for structuring and manipulating formal program derivations is speciied using the Z 13] notation. A program derivation style based on (transitive) relations between programs, as found in the reenement calculus 1, 8, 9], is assumed. The structuring and manipulation of derivations is based on the notion of reenement diagrams proposed by(More)
  • 1