Compiling Pattern Matching in Join-Patterns

Qin Ma (1) , Luc Maranget (1)

1 MOSCOVA - Mobililty, security, concurrence, verification and analysis

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.

Mots clés: ALGEBRAIC DATA TYPE; PATTERN MATCHING; FUNCTIONNAL PROGRAMMING; CONCURRENT PROGRAMMING; OBSERVATIONAL EQUIVALENCE; JOIN-CALCULUS /

Domaines: Autre [cs.OH]

Qin Ma, Luc Maranget. Compiling Pattern Matching in Join-Patterns. [Research Report] RR-5160, INRIA. 2004. ⟨inria-00077047⟩