Recovery blocks

  • Authors:

  • Tony Hoare

  • Affiliations:

  • Microsoft Research, Cambridge, UK

  • Venue:
  • Dependable and Historic Computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.