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.
Type de document :
Rapport
[Research Report] RR-5160, INRIA. 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00077047
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:59:32
Dernière modification le : samedi 17 septembre 2016 - 01:36:12
Document(s) archivé(s) le : lundi 5 avril 2010 - 21:35:44

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

143

Téléchargements de fichiers

309