The algebra of programming (paper)
Author: BIRD RichardLanguage: Anglais
Approximative price 123.50 €
Subject to availability at the publisher.Add to cart the livre of BIRD Richard
276 p. · 24.3x18 cm · Paperback
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.
2. Functions and Categories.
4. Relationships and Allegories.
5. Datatypes in Allegories.
6. Optimisation Problems.
7. Thinning Algorithms.
8. Dynamic Programming.
9. Greedy Algorithms.
These books may interest you
Generic ProgrammingIFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany 174.08 €
Functional Programming Using F# 101.60 €