×

Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. (English) Zbl 1200.68012

London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). xii, 430 p. (2010).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Jones, C. B.; Roscoe, A. W., Insight, inspiration and collaboration, 1-32 [Zbl 1198.68001]
Abramsky, Samson, From CSP to game semantics, 33-45 [Zbl 1215.68144]
Bjørner, Dines, On mereologies in computing science, 47-70 [Zbl 1214.68117]
Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo, Roles, stacks, histories: A triple for Hoare, 71-99 [Zbl 1214.68130]
Gordon, Mike; Collavizza, Hélène, Forward with Hoare, 101-121 [Zbl 1215.68129]
Jifeng, He, Probabilistic programming with coordination, 123-142 [Zbl 1214.68136]
Jackson, Michael, The operational principle and problem frames, 143-165 [Zbl 1215.68077]
Jones, C. B., The role of auxiliary variables in the formal development of concurrent programs, 167-187 [Zbl 1215.68061]
Meyer, Bertrand; Kogtenkov, Alexander; Stapf, Emmanuel, Avoid a void: The eradication of null dereferencing, 189-211 [Zbl 1215.68063]
Bundgaard, Mikkel; Milner, Robin, Unfolding CSP, 213-228 [Zbl 1346.68128]
Kitchin, David; Quark, Adrian; Misra, Jayadev, Quicksort: combining concurrency, recursion, and mutable data structures, 229-254 [Zbl 1217.68070]
Mciver, A. K.; Morgan, C. C., The thousand-and-one cryptographers, 255-282 [Zbl 1209.68231]
Haase, Christoph; Ouaknine, Joël; Worrell, James, On process-algebraic extensions of metric temporal logic, 283-300 [Zbl 1215.68150]
Kiselyov, Oleg; Jones, Simon Peyton; Shan, Chung-Chieh, Fun with type functions, 301-331 [Zbl 1213.68190]
Van Glabbeek, Rob; Plotkin, Gordon, On CSP and the algebraic theory of effects, 333-369 [Zbl 1215.68160]
Roscoe, A. W., CSP is expressive enough for \(\pi\), 371-404 [Zbl 1215.68159]
Woodcock, Jim; Aydal, Emine Gökçe; Chapman, Rod, The tokeneer experiments, 405-430 [Zbl 1213.68391]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B25 Proceedings of conferences of miscellaneous specific interest
68Nxx Theory of software
68P05 Data structures
68P25 Data encryption (aspects in computer science)
68T27 Logic in artificial intelligence
68N99 Theory of software

Biographic References:

Hoare, C. A. R.
PDFBibTeX XMLCite
Full Text: DOI