Essays in Computing Science

by C.A.R. Hoare, Cliff B. Jones

*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

Genres: Computer Science, Computers

432 pages, Hardcover

First published January 1, 1989

Reviews

[Nick Black · Rating 4 out of 5]

Almost insightful enough to have been written by Dijkstra, whom Hoare sounds a lot like at times. PDF available to ACM Digital Library subscribers at ACM Portal.