Skip to Main content Skip to Navigation
Reports

Compiling Pattern Matching in Join-Patterns

Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00077047
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 11:59:32 AM
Last modification on : Thursday, February 3, 2022 - 11:18:29 AM
Long-term archiving on: : Monday, April 5, 2010 - 9:35:44 PM

Identifiers

  • HAL Id : inria-00077047, version 1

Collections

Citation

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

Share

Metrics

Record views

60

Files downloads

232