Ma, Qin and Maranget, Luc - Algebraic Pattern Matching in Join Calculus

lmcs:770 - Logical Methods in Computer Science, March 21, 2008, Volume 4, Issue 1
Algebraic Pattern Matching in Join Calculus

Authors: Ma, Qin and Maranget, Luc

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.


Source : oai:arXiv.org:0802.4018
DOI : 10.2168/LMCS-4(1:7)2008
Volume: Volume 4, Issue 1
Published on: March 21, 2008
Submitted 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


Share

Consultation statistics

This page has been seen 73 times.
This article's PDF has been downloaded 50 times.