More Theorems and More Examples
This is the last chapter of the first half of this text. In the second half we will almost exclusively be occupied with program derivation, using the vocabulary and the techniques introduced so far. There is, however, one final issue that we have hardly touched upon, viz. the problem of how to make programs more fine-grained. We already alluded to this issue when specifying the problem of Concurrent Vector Writing, but now the time has come to become a little more articulate about it.
KeywordsAtomic Statement Proof Obligation Program Transformation Partial Correctness Program Text
Unable to display preview. Download preview PDF.