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 Calculus

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.


    Volume: Volume 4, Issue 1
    Published on: March 21, 2008
    Accepted on: June 25, 2015
    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 395 times.
    This article's PDF has been downloaded 340 times.