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

It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered

Bibliographic Details
Other Authors: Jones, Cliff B. (Editor), Roscoe, A.W. (Editor), Wood, Kenneth R. (Editor)
Format: eBook
Language:English
Published: London Springer London 2010, 2010
Edition:1st ed. 2010
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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