The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
An axiomatic basis for computer programming
Communications of the ACM
The Science of Programming
Writing efficient programs
A Discipline of Programming
What is to become of programming?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |
Correctness and efficiency are both legitimate concerns in program development. Through an extended example we present a multi-phase paradigm which encourages early algorithms to be abstract and maximally nondeterministic in the spirit of Dijkstra's guarded commands [4] but which caters equally for correctness, termination, data representation, efficiency and practical implementation in a low level language.