## The Algebra of ProgrammingThis 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: Algebra Programming

User Review - Hugo Sereno Ferreira - GoodreadsThis 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. Read full review

### Contents

Functions and Categories | 25 |

Applications | 55 |

Relations and Allegories | 81 |

Copyright | |

9 other sections not shown

### Common terms and phrases

### 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)

mustread.ru/ isbn/ 013507245x.html