CONCUR 2004 START ConferenceManager    


Compiling Pattern Matching in Join-Patterns

Qin Ma and Luc Maranget

Presented at Fifteenth International Conference on Concurrency Theory (CONCUR 2004), London, England, 31 August - 3 September, 2004


Abstract

We propose an extension of the join-calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction between concurrency and pattern matching; to define a practical compilation scheme from extended join-definitions into ordinary ones plus ML pattern matching. To assess the correctness of our compilation scheme, we develop a theory of the applied join-calculus, a calculus with value-passing and value matching.


  
START Conference Manager (V2.47.4)
Maintainer: rrgerber@softconf.com