Login

Roscoe, A.W.

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

Roscoe, A.W. - Reflections on the Work of C.A.R. Hoare, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9781848829121
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Insight, Inspiration and Collaboration
C. B. Jones, A. W. Roscoe

2. From CSP to Game Semantics
Samson Abramsky

3. On Mereologies in Computing Science
Dines Bjørner

4. Roles, Stacks, Histories: A Triple for Hoare
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella

5. Forward with Hoare
Mike Gordon, Hélène Collavizza

6. Probabilistic Programming with Coordination
He Jifeng

7. The Operational Principle and Problem Frames
Michael Jackson

8. The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
C. B. Jones

9. Avoid a Void: The Eradication of Null Dereferencing
Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf

10. Unfolding CSP
Mikkel Bundgaard, Robin Milner

11. Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
David Kitchin, Adrian Quark, Jayadev Misra

12. The Thousand-and-One Cryptographers
A. K. McIver, C. C. Morgan

13. On Process-Algebraic Extensions of Metric Temporal Logic
Christoph Haase, Joël Ouaknine, James Worrell

14. Fun with Type Functions
Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan

15. On CSP and the Algebraic Theory of Effects
Rob Glabbeek, Gordon Plotkin

16. CSP is Expressive Enough for π

A. W. Roscoe

17. The Tokeneer Experiments
Jim Woodcock, Emine Gökçe Aydal, Rod Chapman

Keywords: Computer Science, History of Computing

Author(s)
 
 
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Series
History of Computing
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781848829121

Similar titles