Lecture notes on the science of programming for CSCI121

Publication Year:
Usage 1572
Downloads 1453
Abstract Views 119
Repository URL:
Reinfelds, Juris
paper description
The first book on the derivation of correct programs with the help of predicate calculus was "A Discipline of Programming" by E.W. Dijkstra which was published by Prentice Hallin 1976. Each chapter of this book derives a beautiful and remarkably simple program for problems which range from easy to very difficult. The derivation of most of these programs requires creative ability of a very high order.