Qin Ma ; Luc Maranget - Algebraic Pattern Matching in Join Calculus

lmcs:770 - Logical Methods in Computer Science, March 21, 2008, Volume 4, Issue 1 - https://doi.org/10.2168/LMCS-4(1:7)2008
Algebraic Pattern Matching in Join CalculusArticle

Authors: Qin Ma ; Luc Maranget

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. We implement this calculus as an extension of the current JoCaml system.

https://doi.org/10.2168/LMCS-4(1:7)2008
Source: arXiv.org:0802.4018
Volume: Volume 4, Issue 1
Published on: March 21, 2008
Imported on: January 25, 2007
Keywords: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, D.1.3, D.3.3, F.3.2
Licence: arXiv.org - Assumed non-exclusive license to distribute

Classifications

Mathematics Subject Classification 20201
Sources:
  • [1] zbMATH Open.

1 Document citing this article

Share and export

Consultation statistics

This page has been seen 3126 times.
This article's PDF has been downloaded 674 times.