Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Author : Roland Backhouse
Publisher : Springer
Total Pages : 390
Release : 2003-07-31
ISBN 10 : 9783540477976
ISBN 13 : 3540477977
Language : EN, FR, DE, ES & NL


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.

More Books:

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Language: en
Pages: 390
Authors: Roland Backhouse
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Language: en
Pages: 390
Authors: Roland Backhouse
Categories: Computers
Type: BOOK - Published: 2002-04-17 - Publisher: Springer

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr
Mathematics of Program Construction
Language: en
Pages: 464
Authors: Tarmo Uustalu
Categories: Computers
Type: BOOK - Published: 2006-06-27 - Publisher: Springer Science & Business Media

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held at Kuressaare, Estonia, July 3-5,
Mathematics of Program Construction
Language: en
Pages: 410
Authors: Dexter Kozen
Categories: Computers
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotl
Mathematics of Program Construction
Language: en
Pages: 363
Authors: Jeremy Gibbons
Categories: Computers
Type: BOOK - Published: 2012-06-21 - Publisher: Springer

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in
Mathematical Frameworks for Component Software
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: - Publisher:

Mathematics of Program Construction
Language: en
Pages: 467
Authors: Graham Hutton
Categories: Computers
Type: BOOK - Published: 2019-10-19 - Publisher: Springer Nature

This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, i
Relational and Algebraic Methods in Computer Science
Language: en
Pages: 363
Authors: Harrie de Swart
Categories: Mathematics
Type: BOOK - Published: 2011-06-07 - Publisher: Springer

This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam
Algebra, Meaning, and Computation
Language: en
Pages: 650
Authors: Kokichi Futatsugi
Categories: Computers
Type: BOOK - Published: 2006-06-21 - Publisher: Springer

This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by
Formal Methods for Components and Objects
Language: en
Pages: 517
Authors: Frank S.de Boer
Categories: Computers
Type: BOOK - Published: 2003-10-09 - Publisher: Springer Science & Business Media

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2