Slide 7
Slide 7 text
jgs
Fall 2021 | 00000010
Stepwise Refinement (1971)
Note:
The author gratefully acknowledges the helpful and stimulating
influence of many discussions with
• A. Hoare - sorting algorithm quicksort (1959)
• E. W. Dijkstra - shortest path algorithm (1956) and compiler
construction, operating systems, distributed systems,
concurrent programming, programming language, program
verification, graph algorithms, etc.