Documents An Algebra for Program Designs

Abstract Separation Algebra An Algebra for Program Designs Tony Hoare Moscow July 2011 1 With ideas from Ian Wehrman John Wickerson Stephan van Staden Peter O’Hearn Bernhard…

Documents An Algebra for Program Designs

Abstract Separation Algebra An Algebra for Program Designs Tony Hoare Moscow July 2011 1 With ideas from Ian Wehrman John Wickerson Stephan van Staden Peter O’Hearn Bernhard…