The Algebra of Programming

Front Cover
Prentice Hall, 1997 - Computers - 295 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

Review: Algebra Programming

User Review  - Hugo Sereno Ferreira - Goodreads

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. Read full review

Related books


Functions and Categories
Relations and Allegories

9 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

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. ... 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 ... 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 ... 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 ... ~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. ... ~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 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 ... 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. ... 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 ... appsem04/ webproc/ short/ gibbons-patterns.pdf

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

About the author (1997)

Dr. Oege de Moor is a Lecturer in Computation at the University of Oxford, and a Tutorial Fellow of Magdalen College.

Bibliographic information