Algebra of Programming

Portada
Prentice Hall, 1997 - 295 páginas
0 Reseñas
Las reseñas no se verifican, pero Google comprueba si hay contenido falso y lo retira una vez identificado

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

algebra algorithm allegory apply argument arrow base calculation called catamorphism chapter composition computing concat condition cons cons-lists consider converse coproducts cost cross curry datatype defined definition derivation described distributes element equation example exercise exists expression fact filter Finally function functional programming functor fusion given gives glue head holds identity implementation inclusion inductive initial inits isomorphism join least length listr monotonic natural transformation object obtain operator otherwise outl outr pair particular perm possible prefix preorder problem proof Prove reason recursion relation result returns rule satisfying simple snoc solution sort specification step String succ Suppose tabulation tail terminal theorem thinlist tree true union unique unit universal property wrap write zero

Referencias a este libro

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

QR code for Algebra of Programming
TítuloAlgebra of Programming
Prentice-Hall international series in computer science
AutoresRichard Bird, Richard S. Bird, Oege de Moor
Ediciónilustrada, reimpresa
EditorPrentice Hall, 1997
Procedencia del originalla Universidad de Michigan
Digitalizado16 Nov 2007
ISBN013507245X, 9780135072455
N.º de páginas295 páginas
  
Exportar citaBiBTeX EndNote RefMan