The Algebra of Programming
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.
28 pages matching specification in this book
Results 1-3 of 28
What people are saying - Write a review
Review: The Algebra of ProgrammingUser Review - 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.
Review: The Algebra of ProgrammingUser 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
Functions and Categories
Relations and Allegories
9 other sections not shown
Notes on “Algebra of Programming”
In the book “Algebra of Programming” 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
<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 ...
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’ , 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