Abstract Separation Algebra Algebra unifies calculi of programming Tony Hoare Feb 2012 1 With Ideas from Ian Wehrman John Wickerson Stephan van Staden Peter O’Hearn Bernhard…
