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

  • A.W. Roscoe
  • Cliff B. Jones
  • Kenneth R. Wood

Table of contents

  1. Front Matter
    Pages i-xii
  2. C. B. Jones, A. W. Roscoe
    Pages 1-32
  3. Samson Abramsky
    Pages 33-45
  4. Dines Bjørner
    Pages 47-70
  5. Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
    Pages 71-99
  6. Mike Gordon, Hélène Collavizza
    Pages 101-121
  7. Michael Jackson
    Pages 143-165
  8. Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf
    Pages 189-211
  9. Mikkel Bundgaard, Robin Milner
    Pages 213-228
  10. David Kitchin, Adrian Quark, Jayadev Misra
    Pages 229-254
  11. A. K. McIver, C. C. Morgan
    Pages 255-282
  12. Christoph Haase, Joël Ouaknine, James Worrell
    Pages 283-300
  13. Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan
    Pages 301-331
  14. Rob van Glabbeek, Gordon Plotkin
    Pages 333-369
  15. A. W. Roscoe
    Pages 371-404
  16. Jim Woodcock, Emine Gökçe Aydal, Rod Chapman
    Pages 405-430

About this book

Introduction

Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is "the highest goal of programming-language design to enable good ideas to be elegantly expressed" These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP).

Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming.

Topics and features:

  • Provides a scientific biography of Tony Hoare
  • Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the π-calculus
  • Reviews methods for proving Hoare formulae
  • Investigates developments in game semantics and semantics based on the state monad
  • Examines the satisfiability problem, void safety, and issues of auxiliary variables
  • Introduces type families in Haskell and a description of Quicksort in Orc
  • Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model
  • Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes
  • Discusses the problem-frames approach, and explores algebraic properties of the new programming combinators

This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. 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.

Keywords

Simon algebra calculus computer computer science cryptographic protocol programming programming language

Editors and affiliations

  • A.W. Roscoe
    • 1
  • Cliff B. Jones
    • 2
  • Kenneth R. Wood
    • 3
  1. 1.Oxford University Computing LaboratoryOxfordUnited Kingdom
  2. 2.Dept. Computing ScienceUniversity of Newcastle upon TyneNewcastle upon TyneUnited Kingdom
  3. 3.Microsoft Research Ltd.CambridgeUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-84882-912-1
  • Copyright Information Springer-Verlag London Limited 2010
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84882-911-4
  • Online ISBN 978-1-84882-912-1
  • About this book