ENGLISH

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

By Roland Backhouse , Jeremy Gibbons (eds.) , Roy Crole (auth.) , Roy Crole

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2002
ISBN
3540436138, 9783540436133
DOI
10.1007/3-540-47797-7
Open Library ID
OL18172758M
Language
english
Format
PDF
Filesize
3 MB (3085833 bytes)
Series
Lecture Notes in Computer Science 2297
Edition
1
Pages
390\400
Library
Kolxo3
Time added
2009-12-04 00:34:26
CompilersInterpreters; Logics and Meanings of Programs; MatSoftware Engineering; Programming Languages

Description

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.

Similar books