Lecture Notes in Computer Science Lect.Notes Computer. Tutorial

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Editors: Backhouse, Roland, Crole, Roy, Gibbons, Jeremy (Eds.)

Free Preview

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-540-47797-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-540-43613-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • Introduction

    Crole, Roy

    Pages 1-19

  • Ordered Sets and Complete Lattices

    Priestley, Hilary A.

    Pages 21-78

  • Algebras and Coalgebras

    Aczel, Peter

    Pages 79-88

  • Galois Connections and Fixed Point Calculus

    Backhouse, Roland

    Pages 89-150

  • Calculating Functional Programs

    Gibbons, Jeremy

    Pages 151-203

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-540-47797-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-540-43613-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Book Subtitle
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Editors
  • Roland Backhouse
  • Roy Crole
  • Jeremy Gibbons
Series Title
Lecture Notes in Computer Science
Series Volume
2297
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47797-6
DOI
10.1007/3-540-47797-7
Softcover ISBN
978-3-540-43613-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 390
Topics