Reflections on the Work of C.A.R. Hoare
1st Edition
Published on 28. September 2010
XII, 430 pages
978-1-84882-912-1 (ISBN)
Description
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.
Reviews / Votes
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 visionary." (Sandeep Shukla, ACM Computing Reviews, February, 2012)
More details
Other editions
Additional editions
Cliff B. Jones | A.W. Roscoe | Kenneth R. Wood
Reflections on the Work of C.A.R. Hoare
Book
09/2010
Springer
€160.49
Shipment within 15-20 days
Content
Insight, Inspiration and Collaboration.- From CSP to Game Semantics.- On Mereologies in Computing Science.- Roles, Stacks, Histories: A Triple for Hoare.- Forward with Hoare.- Probabilistic Programming with Coordination.- The Operational Principle and Problem Frames.- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs.- Avoid a Void: The Eradication of Null Dereferencing.- Unfolding CSP.- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.- The Thousand-and-One Cryptographers.- On Process-Algebraic Extensions of Metric Temporal Logic.- Fun with Type Functions.- On CSP and the Algebraic Theory of Effects.- CSP is Expressive Enough for ?.- The Tokeneer Experiments.
