Insight, Inspiration and Collaboration

Tony Hoare’s many contributions to computing science are marked by insight that was grounded in practical programming. Many of his papers have had a profound impact on the evolution of our field; they have moreover provided a source of inspiration to several generations of researchers. We examine th...

Full description

Saved in:
Bibliographic Details
Published inReflections on the Work of C.A.R. Hoare pp. 1 - 32
Main Authors Jones, C. B., Roscoe, A. W.
Format Book Chapter
LanguageEnglish
Published London Springer London 21.07.2010
Subjects
Domain Theory
Operational Semantic
Process Algebra
Security Protocol
Sequence Diagram
Online AccessGet full text
ISBN1848829116
9781848829114
DOI10.1007/978-1-84882-912-1_1

Cover

More Information
Summary:Tony Hoare’s many contributions to computing science are marked by insight that was grounded in practical programming. Many of his papers have had a profound impact on the evolution of our field; they have moreover provided a source of inspiration to several generations of researchers. We examine the development of his work through a review of the development of some of his most influential pieces of work such as Hoare logic, CSP and Unifying Theories.
ISBN:1848829116
9781848829114
DOI:10.1007/978-1-84882-912-1_1