Completed
Lattice Purity
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Programming with Futures, Lattices and Quiescence
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Programming Models
- 3 Other Projects
- 4 Why Concurrent Programming
- 5 Nondeterminism
- 6 Concurrent Set
- 7 Deterministic Concurrent
- 8 Restrictions
- 9 Approach
- 10 Reactive Programming
- 11 Example
- 12 Handler Pools
- 13 Data Flow
- 14 Data Flow Cycles
- 15 Resolution Policies
- 16 Lattice Purity
- 17 Lattice Purity Analysis
- 18 Opal Framework
- 19 Results
- 20 Future work
- 21 Conclusion
- 22 Phases
- 23 Quiet
