<strong>Programming</strong> is the art of designing efficient algorithms that meet their specifications. Algorithms may be judged by their correctness and thei... » 

Programming is the art of designing efficient algorithms that meet their specifications. Algorithms may be judged by their correctness and their performance. This text discusses the calculational style of programming where programs are derived from their specification by formula manipulation. «