Programming: The Derivation of Algorithms
Programming is the art of designing efficient algorithms that meet their specifications. There are two factors by which algorithms may be judged - their correctness and their performance. This text discusses the calculational style of programming where programs are derived from their specification by means of formula manipulation.
What people are saying - Write a review
We haven't found any reviews in the usual places.