ALGEBRA OF PROGRAMMING

Book Description

ALGEBRA OF PROGRAMMING

This is the 100th book in the Prentice Hall International Series in Computer Science. The purpose of this landmark text is to show how to calculate programs. Describing an algebraic approach to programming, based on a categorical calculus of relations, Algebra of Programming is suitable for the derivation of individual programs and the study of programming principles in general.The programming principles discussed are those para-digms and strategies of program construction that form the core of algorithm design. Examples of such principles include: dynamic programming, greedy algorithms, exhaustive search, and divide-and-conquer. The fundamen-tal concepts of the algebric approach are illustrated by an extensive study of optimization problems. A wide variety of self-study exercises and bibliographical remarks rein-force the informative and educational nature of the text.