Essays in Computing Science

*Forward *Preface *The Emperor's old clothes *Quicksort *A contribution to the development of ALGOL *An axiomatic basis for computer programming *Proof of a *Procedures and an axiomatic approach *Compufer science *Proof of correctness of data representations *Proof of a structured the Sieve of Eratosthenes *A structured paging system *An axiomatic definition of the programming language Pascal * an operating system structuring concept *Hints on programming-language design *Recursive data structures *Parallel an axiomatic approach *Communicating sequential processes *A calculus of total correctness for communicating sequential processes *Programming is an engineering profession *A couple of novelties in the propositional calculus *Programs are predicates *The mathematics of programming *An overview of some formal methods for program design *Envoi *References *Bibliography of works by C.A.R. Hoare *Index