Implementing Joins using Extensible Pattern Matching

Join patterns are an attractive declarative way to synchronize both threads and asynchronous distributed computations. We explore joins in the context of extensible pattern matching that recently appeared in languages such as F# and Scala. Our implementation supports join patterns with multiple synchronous events, and guards. Furthermore, we integrated joins into an existing actor-based concurrency framework. It enables join patterns to be used in the context of more advanced synchronization modes, such as future-type message sending and token-passing continuations.


Published in:
Proceedings of the 10th International Conference on Coordination Models and Languages, 135-152
Presented at:
10th International Conference on Coordination Models and Languages, Oslo, Norway, June 4-6, 2008
Year:
2008
Publisher:
Springer
Keywords:
Laboratories:




 Record created 2008-08-20, last modified 2018-11-17

n/a:
Download fulltextPDF
External link:
Download fulltextURL
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)