Compiling Pattern Matching in Join-Patterns - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2004

Compiling Pattern Matching in Join-Patterns


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.
Fichier principal
Vignette du fichier
RR-5160.pdf (362.19 Ko) Télécharger le fichier

Dates and versions

inria-00077047 , version 1 (29-05-2006)


  • HAL Id : inria-00077047 , version 1


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


Gmail Facebook X LinkedIn More