Volume 1000 of the International Series in Computer Science, Prentice Hall, 1997.

Authors: Richard S. Bird and Oege de Moor
>

Description

This book gives an introduction to the field of program derivation. It first develops a particular variant of relational algebra, founded on category theory. It is then shown how that calculus can be used to characterise algorithmic paradigms such as dynamic programming and greedy algorithms. In the course of this systematic exploration, we also discover the novel paradigm of thinning algorithms.

(supporting materials (solutions, gofer code, bibliography) tar.gz)

BIBTEX:

           @book{aop97bird, 
           author = "Richard S. Bird and De Moor, Oege", 
           title = "Algebra of Programming", 
           series = "International Series in Computing Science",
           volume = "100",
           year = "1997", 
           publisher = "Prentice Hall"}