Algebra of Programming

Portada
Prentice Hall, 1997 - 295 páginas

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.

Dentro del libro

Comentarios de usuarios - Escribir una reseña

No hemos encontrado ninguna reseña en los sitios habituales.

Índice

Programs
1
Functions and Categories
25
Applications
55
Página de créditos

Otras 10 secciones no se muestran.

Términos y frases comunes

Sobre el autor (1997)

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

Información bibliográfica