## Selected writings on computing: a personal perspective |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

EWD227 Stepwise Program Construction | 1 |

EWD338 Parallelism in MultiRecord Transactions | 15 |

EWD376 Finding the Maximum Strong Components in | 22 |

Copyright | |

34 other sections not shown

### Other editions - View all

### Common terms and phrases

afternoon amppf arcs array assumption atomic action audience Banker's Algorithm boolean Brian Randell Burroughs Research Fellow C.A.R. Hoare charfl computing science computing scientists conclude consider correctness cyclic deadlock demand paging Dijkstra discussion DlJKSTRA Burroughs Research E.W. Dijkstra Edsger element elephant empty End of note established execution false fault frequency finite four-colour problem hardware Hoare implementation implies initial input integer introduce invariant lecture luckl machine mathematicians Mathematics Inc monitor mosquito natural number neighbour node nondeterminacy Nuenen Nuenen PROF outgoing arrows page fault possible primary store prime number problem processor program transformation programming language proof replacement algorithm result satisfying scientific seems separation of concerns sequence sequential shunting yard solution ssnl talk techniques termination theorem tion Tony Tony Hoare transaction Trip Report true University variable well-founded set window sizes