Reflections on the Work of C.A.R. Hoare [Hardcover]

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.Insight, Inspiration and CollaborationC. B. Jones and A. W. RoscoeFrom CSP to Game SemanticsSamson AbramskyOn Mereologies in Computing ScienceDines Bj?rnerRoles, Stacks, Histories: A Triple for HoareJohannes Borgstrom, Andrew D. Gordon and Riccardo PucellaForward with HoareMike Gordon and Helene CollavizzaProbabilistic Programming with CoordinationHe JifengThe Operational Principle and Problem FramesMichael JacksonThe Role of Auxiliary Variables in the Formal Development of Concurrent ProgramsCliff B. JonesAvoid a Void: The Eradication of Null DereferencingBertrand Meyer, Alexander Kogtenkov and Emmanuel StapfUnfolding CSPMikkel Bundgaard and Robin MilnerQuicksort: Combining Concurrency, Recursion, and Mutable Data StructuresDavid Kitchin, Adrian Quark and Jayadev MisraThe Thousand-and-One CryptographersAK McIver and CC MorganOn Process-algebraic Extensions of Metric Temporal LogicChristoph Haase, Joel Ouaknine and James WorrellFun with Type FunctionsOleg Kiselyov, Simon Peyton Jones and Chung-chieh ShanOn CSP and the Algebraic Theory of EffectsRob van Glabbeek and Gordon PlotkinCSP is Expressive Enough for ?A.W. RoscoeThe Tokeneer ExperimentsJim Woodcock, Emine Gokce Aydal and Rod Chapman

From the reviews:

Hoare is one of my computer science idols. & This book was written to commemorate his 75th birthday, and contains the lectures that many of his past and present colleagues presented in honor of this occasion. & I did glean a great deal of information from the book. & the book is quite interesting & . the chapters have some connection to those areas of computing where Hoare has contributed profusely, and hence it is a fitting tribute to this extraordinary computing science visionaryl3