Reflections on the Work of C.A.R. Hoare

Front Cover
Cliff B. Jones, A.W. Roscoe, Kenneth R. Wood
Springer Science & Business Media, Sep 28, 2010 - Computers - 430 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter 1 Insight Inspiration and Collaboration
1
Chapter 2 From CSP to Game Semantics
33
Chapter 3 On Mereologies in Computing Science
46
Chapter 4 Roles Stacks Histories A Triple for Hoare
71
Chapter 5 Forward with Hoare
101
Chapter 6 Probabilistic Programming with Coordination
122
Chapter 7 The Operational Principle and Problem Frames
143
Chapter 8 The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
167
Chapter 10 Unfolding CSP
213
Chapter 11 Quicksort Combining Concurrency Recursion and Mutable Data Structures
229
Chapter 12 The ThousandandOne Cryptographers
255
Chapter 13 On ProcessAlgebraic Extensions of Metric Temporal Logic
283
Chapter 14 Fun with Type Functions
301
Chapter 15 On CSP and the Algebraic Theory of Effects
332
Chapter 16 CSP is Expressive Enough for
371
Chapter 17 The Tokeneer Experiments
405

Chapter 9 Avoid a Void The Eradication of Null Dereferencing
188

Other editions - View all

Common terms and phrases

Bibliographic information