Compiling pattern matching in join-patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3170, Issue , 2004, Pages 417-431

  Qin, Ma ^a   Maranget, Luc ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PATTERN MATCHING; SEMANTICS;

ALGEBRAIC DATA-TYPES; JOIN CALCULUS; JOIN-PATTERNS;

CALCULATIONS;

EID: 34250159567     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (20)

1. M. Abadi and G. Fournet. Mobile values, new names, and secure communication. In Proceedings of POPL'01, pages 104-115, 2001.
2. R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous φ-calculus. Theoretical Computer Science, 195(2):291-324, 1998.
3. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217-248, 1992.
4. C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Nov. 1998.
5. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL'96, pages 372-385, 1996.
6. C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Inheritance in the join calculus. Journal of Logic and Algebraic Programming, 57(1-2):23-69, 2003.
7. C. Fournet, L. Maranget, G. Laneve, and D. Rémy. Implicit typing à la ML for the join-calculus. In Proceedings of CONCUR'97, LNCS 1243, pages 196-212, 1997.
8. P. Gardner, C. Laneve, and L. Wischik. Linear forwarders. In Proceedings of CONCUR'03, LNCS 2761, pages 415-430, 2003.
9. K. Honda and N. Yoshida. On reduction-based process semantics. Theoretical Computer Science, 151(2):437-486, 1995.
10. F. Le Fessant. The JoCaml system, http://pauillac.inria.fr/jocaml, 1998.
11. F. Le Fessant and L. Maranget. Optimizing pattern-matching. In Proceedings of ICFP'01, pages 26-37, 2001.
12. X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml System, version 3.07. http://caml.inria.fr/, 2003.
13. Q. Ma and L. Maranget. Expressive synchronization types for inheritance in the join calculus. In Proceedings of APLAS'03, LNCS 2895, pages 20-36, 2003.
14. Q. Ma and L. Maranget. Compiling pattern matching in join-patterns. Rapport de recherche 5160, INRIA-Rocquencourt, Apr. 2004. Available at http://pauillac. inria.fr/~ma/papers/ptjoin-tr.ps.
15. M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. In Proceedings of ICALP'98, LNCS 1443, pages 856-867, 1998.
16. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1-40 and 41-77, 1992.
17. R. Milner and D. Sangiorgi. Barbed bisimulation. In Proceedings of ICALP'92, volume LNCS 623, pages 685-695, 1992.
18. M. Odersky. Functional nets. In Proceedings of ESOP'00, LNCS 1782, pages 1-25, 2000.
19. M. Odersky. The Scala Language, http://lamp.epfl.ch/~odersky/scala/, 2002.
20. P. Pritchard. On computing the subset graph of a collection of sets. Journal of Algorithms, 33(2):187-203, 1999.