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 1611 times.
    This article's PDF has been downloaded 459 times.