Part of the Lecture Notes in Computer Science book series (LNCS, volume 6875)
We give a semantics for Brian Randell’s recovery blocks, and show how they can be proved correct. The formalisation is expressed wholly in propositional logic.
KeywordsPropositional Calculus Successful Execution Programming Error Program Text Weak Precondition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- [HoHe98]Hoare, C.A.R.: He Jifeng: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)Google Scholar
© Springer-Verlag Berlin Heidelberg 2011