Abstract

types : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 14 2.3 Imperative features : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3.1 References : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3.2 Exceptions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 16 2.3.3 Continuations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 17 v 2.4 An example --- functional queues : : : : : : : : : : : : : : : : : : : : : : : : 18 II Design 19 3 Concurrent Programming Languages 21 3.1 Processes and threads : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 22 3.2 Shared-memory languages : : : : : : : : : : : : : : : : : : : : : : : : : : : : 23 3.2.1 Low-level synchronization mechanisms : : : : : : : : : : : : : : : : : 23 3.2.2 Monitors : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 25 3.2.3 Shared-memory concurrency and ML : : : : : : : : : : : : : : : : : 25 3.3 Distributed-memory l...

Citations

1008	Actors: a model of concurrent computation in distributed systems - Agha - 1986
192	Standard ML of New Jersey - McQueen, Appel - 1991
107	Continuation-passing, closure-passing style - Appel, Jim - 1989
89	A Standard ML compiler - Appel, MacQueen - 1987
85	Real-time concurrent collection on stock multiprocessors - Appel
7	Pascal-m: A Language for Loosely Coupled Distributed Systems - Abramsky, Bornat - 1983
4	Streams and managers - Arvind, Brock - 1983