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
Other Authors: | , , |
---|---|
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