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 metadatas

https://hal.inria.fr/inria-00077047
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, May 29, 2006 - 11:59:32 AM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
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

175

Files downloads

406