Sisäänkirjautuminen

Roscoe, A.W.

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

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

109,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781848829121
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

Avainsanat: Computer Science, History of Computing

Tekijä(t)
 
 
Julkaisija
Springer
Julkaisuvuosi
2010
Kieli
en
Painos
1
Sarja
History of Computing
Sivumäärä
12 sivua
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781848829121

Samankaltaisia e-kirjoja