Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised LecturesRoland Backhouse, Roy Crole, Jeremy Gibbons Springer, 31/07/2003 - 390 من الصفحات 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. |
من داخل الكتاب
النتائج 1-5 من 42
الصفحة viii
... Complete Lattices in Particular . . . . . . . . . . . . . . . . . 39 4.1. Lattices ... Lattice to a Closure System . . . . . . . . . . . . . . . . . . . . . . 49 5.7. Defining Closure Operators . . . . . . . . . . . . . . . . . . . . . . . .
... Complete Lattices in Particular . . . . . . . . . . . . . . . . . 39 4.1. Lattices ... Lattice to a Closure System . . . . . . . . . . . . . . . . . . . . . . 49 5.7. Defining Closure Operators . . . . . . . . . . . . . . . . . . . . . . . .
الصفحة ix
... Complete Lattices . . . . . . . . . 64 7.6. Manufacturing Concepts ... Lattice to a Concept Lattice . . . . . . . . . . . . . . . . . . . . . 66 7.9. The Case for the Defence ...
... Complete Lattices . . . . . . . . . 64 7.6. Manufacturing Concepts ... Lattice to a Concept Lattice . . . . . . . . . . . . . . . . . . . . . 66 7.9. The Case for the Defence ...
الصفحة 14
... lattice as a collection of sets (the elements of the lattice are sets) with the subset order. It is often easier to reason about a lattice when it is presented in such a ... Complete Lattices Chapter 3: Introducing Algebras and Coalgebras.
... lattice as a collection of sets (the elements of the lattice are sets) with the subset order. It is often easier to reason about a lattice when it is presented in such a ... Complete Lattices Chapter 3: Introducing Algebras and Coalgebras.
الصفحة 19
... lattice of flow diagrams. Technical Report 3, Programming Research Group, Oxford University Computing Laboratory, 1970. 5, 14 D. S. Scott. Towards a mathematical theory of computation. In ... Complete Lattices A Primer for 1. Introduction 19.
... lattice of flow diagrams. Technical Report 3, Programming Research Group, Oxford University Computing Laboratory, 1970. 5, 14 D. S. Scott. Towards a mathematical theory of computation. In ... Complete Lattices A Primer for 1. Introduction 19.
الصفحة 22
... complete the overall picture. For a summary of the results, see 7.10. Galois connection closure operator d d d d sd d d d © T T E E c c ' ' COMPLETE LATTICE dddddddds closure system context/ binary relation © Fig. 1. A web of concepts ...
... complete the overall picture. For a summary of the results, see 7.10. Galois connection closure operator d d d d sd d d d © T T E E c c ' ' COMPLETE LATTICE dddddddds closure system context/ binary relation © Fig. 1. A web of concepts ...
المحتوى
1 | |
13 | |
21 | |
28 | |
Lattices in General and Complete Lattices in Particular | 39 |
Closure Systems and Closure Operators | 47 |
Speaking Categorically | 75 |
Trees | 84 |
EverMind Westerkade 154 9718 AS Groningen | 202 |
Hylo Equations | 218 |
Department of Computer Science University of Nijmegen | 237 |
Binary Trees | 244 |
Invariants | 253 |
Towards a μCalculus for Coalgebras | 261 |
Refinements between Coalgebraic Specifications | 275 |
Algebraic Methods for Optimization Problems | 281 |
Identifying Galois Connections | 100 |
Fixed Points | 115 |
Fixed Point Calculus | 127 |
Further Reading | 146 |
Calculating Functional Programs | 149 |
Recursive Datatypes in the Category Set | 160 |
Recursive Datatypes in the Category Cpo | 173 |
Applications | 183 |
Implementation in Haskell | 197 |
The Algebra of Relations | 283 |
Optimization Problems | 291 |
Optimal Bracketing | 299 |
Temporal Algebra | 309 |
Relational Laws of Sequential Algebra | 355 |
Interval Calculi | 364 |
Conclusion | 382 |
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
admits induction Algebraic and Coalgebraic algorithm apply arbitrary arrows axioms binary relation binary trees category theory Chapter closure operator coalgebraic specification coalgebras complete lattice composition Computer Science concat cons constructors coreflexive datatype defined definition denote domain down-sets dual element equivalent example Exercise exists expressions F-algebra finite fixed point equation fold foldL foldT f function f functional programming functor fusion Galois algebra Galois connection given hylo initial algebra integers IntList isomorphism Kleene algebra least fixed point least prefix point Lemma linear List lower adjoint map f mathematical Mini-exercise monotonic natural numbers node non-empty notion ordered sets pair partial order point of f poset powerset predicate Prod programming languages proof Proposition Prove recursion relation algebra rule satisfies semantics solution structure subset supremum tail temporal logic theorem tion unfold unique universal property upper adjoint well-founded