Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures (Q1604010)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures |
scientific article |
Statements
Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures (English)
0 references
2 July 2002
0 references
The articles of this volume will be reviewed individually. Indexed articles: \textit{Crole, Roy}, Chapter 1. Introduction, 1-19 [Zbl 1065.68513] \textit{Priestley, Hilary A.}, Chapter 2. Ordered sets and complete lattices. A primer for computer science, 21-78 [Zbl 1065.68036] \textit{Aczel, Peter}, Chapter 3. Algebras and coalgebras, 79-88 [Zbl 1065.68512] \textit{Backhouse, Roland}, Chapter 4. Galois connections and fixed point calculus, 89-148 [Zbl 1065.68030] \textit{Gibbons, Jeremy}, Chapter 5. Calculating functional programs, 149-201 [Zbl 1065.68034] \textit{Doornbos, Henk; Backhouse, Roland}, Chapter 6. Algebra of program termination, 203-235 [Zbl 1065.68033] \textit{Jacobs, Bart}, Chapter 7. Exercises in coalgebraic specification, 237-280 [Zbl 1065.68035] \textit{Bird, Richard; Gibbons, Jeremy; Mu, Shin-Cheng}, Chapter 8. Algebraic methods for optimization problems, 281-308 [Zbl 1065.68031] \textit{von Karger, Burghard}, Chapter 9. Temporal algebra, 309-385 [Zbl 1065.68515]
0 references
Oxford (GB)
0 references
Lectures
0 references
Workshop
0 references
Summer school
0 references
Algebraic methods
0 references
Coalgebraic methods
0 references
Mathematics
0 references
Program construction
0 references
