What people are saying - Write a review
We haven't found any reviews in the usual places.
A History of WG2
Viewpoints on Programming
On structured programming
14 other sections not shown
abstract acceptance test algebra ALGOL ALGOL 60 algorithm allocation alternate anti-regressive array arrows assertions assignment axiomatization axioms begin Boolean C. A. R. Hoare CACM called complete components concept Concurrent Pascal condition consider construct contained critical region data structures data types declared defined definition described diagram Dijkstra discussed disk buffer E. W. Dijkstra elements error example execution expression Figure formal function hardware hierarchical Hoare IFIP implementation initial input integer invariant iteration lemma loop method modules monitor notation operating system output paper parallel programs possible primitive problem procedure produce program text programming language programming methodology prove queue reader recovery block recursive representation resource result rules schema semantics semaphore semicoroutine sequence SIMULA 67 software engineering solution specification statement structured programming sufficiently-complete techniques termination theorem tion true understanding variables virtual machine interface waiting