# The Algebra of Programming

Prentice Hall, 1997 - Computers - 295 pages
This is the 100th. book in the Prentice Hall International Series in Computer Science. It's main purpose 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 for the study of programming principles in general. The programming principles discussed are those paradigms 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 fundamentsl ideas of the algebraic approach are illustrated by an extensive study of optimisation problems.

### What people are saying -Write a review

#### Review: The Algebra of Programming

This is a mind-blowing book. Mind you: if you come from a OO background, finishing the first chapter is enough for a brag-right. Notwithstanding, while reading this book, you'll have the constant feeling that programming will never be the same for you.

#### Review: The Algebra of Programming

User Review  - Brian - Goodreads

This was just too hardcore for me the first time around... at some point in the middle I realize I'm reading a bunch of symbols and I have no idea what anything means so I had to stop. Will try again ... Read full review

### Contents

 Functions and Categories 25 Applications 55

9 other sections not shown

### References from web pages

Notes on “Algebra of Programming”
In the book “Algebra of Programming”[3] it is asserted that:. 〈sum, length〉 = ([zeros, pluss]) ..... Algebra of Programming. Prentice Hall, 1996. ...
www.cs.tcd.ie/ publications/ tech-reports/ reports.99/ TCD-CS-1999-74.pdf

Algebra Of Programming (Bird, De Moor) | Lambda the Ultimate
"Algebra Of Programming" has been mentioned on LTU a few times (mostly in 2002 it seems). Unfortunately the book is not available on-line, and costs \$125 on ...
lambda-the-ultimate.org/ node/ 1117

Algebra of Programming by Richard Bird and Oege de Moor, Prentice ...
Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall,. 1996 (dated 1997). Background. The histories of functional programming and program ...
journals.cambridge.org/ production/ action/ cjoGetFulltext?fulltextid=44314

Algebra of Programming
Topic: Algebra of Programming. Examiner: Patrik Jansson ... Wed Mar 10, Algebra of Programming, Chapters 1-3, 6th floor corner sofas ...
www.cs.chalmers.se/ ~ulfn/ aop/

Algebra of Programming using Dependent Types
checked but still readable Algebra-of-Programming style derivations. ... Algebra of Programming. International Series in. Computer Science. ...
www.iis.sinica.edu.tw/ ~scm/ pub/ mpc08.pdf

Notes on "Algebra of Programming" (researchindex)
N is such a form. An attempt to prove this requires one to understand and use much of the material from the preceding two chapters of the book
citeseer.ist.psu.edu/ 394027.html

<i>Algebra of Programming</i> by Richard Bird and Oege de Moor ...
Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997). Source, Journal of Functional Programming archive ...
portal.acm.org/ citation.cfm?id=968592.968600

Algebra of Programming Group Introductory Textbook
Richard Bird and Oege de Moor have written an introductory text entitled Algebra of Programming, published by Prentice Hall in September 1996. ...
web2.comlab.ox.ac.uk/ oucl/ publications/ books/ algebra/

Patterns in datatype-generic programming (extended abstract)
calculation such as Bird and de Moor’s relational ‘algebra of programming’ [5], to make it more applicable. to deriving the kinds of programs that users of ...
cdc.ioc.ee/ appsem04/ webproc/ short/ gibbons-patterns.pdf

The Algebra of Programming -- отзывы читателей
Рецензии на книгу: The Algebra of Programming (Richard Bird,Oege De Moor)