Luc Maranget, Fabrice Le Fessant  Home/Search
Context Related
| inria.fr/INRIA/Projects/par...pat.ps.gz para.inria.fr/~lefe...00008LFM98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pauillac.inria.fr/publioscope (more) From: para.inria.fr/~lefessan/b...publi (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The join-calculus is both a name passing calculus and a core language for concurrent and distributed programming. An essential part of its implementation is the compilation of join-patterns. Join-patterns define new channels and all the synchronizations they take part to at the same time. Relying on the experience based on our two implementations, we study the translation of join-patterns into deterministic finite-state automata as well as some related optimizations. 1 Introduction... (Update)
Context of citations to this paper: More
.... de nition, all synchronization patterns are statically known, so they can be eciently compiled using for instance state automata [17]. 2. Similarly, type systems can analyze all contravariant occurrences of channels, then generalize their types (cf. Section 2.5) 3. As...
Cited by: More
High-Level Petri Nets as - Type Theories In (Correct)
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) (Correct)
The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
Active bibliography (related documents): More All
0.2: Two Techniques for Compiling Lazy Pattern Matching - Maranget (1994) (Correct)
0.2: Optimizing Pattern Matching - Le Fessant, Maranget (2001) (Correct)
0.2: A Parallel Functional Language Compiler for Message-Passing.. - Junaidu (1998) (Correct)
Similar documents based on text: More All
0.2: An Implementation of Complete, Asynchronous.. - Le Fessant, Piumarta, .. (1998) (Correct)
0.1: Some results in the Join-Calculus - Levy (1997) (Correct)
0.1: Conferences - Robert (Correct)
Related documents from co-citation: More All
5: The re exive chemical abstract machine and the join-calculus (context) - edric, Georges - 1996
4: a la ML for the join calculus (context) - Fournet, Laneve et al. - 1997
3: May and Must Testing in the Join-Calculus - Laneve - 1996
BibTeX entry: (Update)
F. Le Fessant and L. Maranget. Compiling join-patterns. In U. Nestmann and B. C. Pierce, editors, HLCL '98: High-Level Concurrent Languages, volume 16(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, Sept. 1998. http://citeseer.ist.psu.edu/lefessant98compiling.html More
@misc{ fessant98compiling,
author = "F. Le Fessant and L. Maranget",
title = "Compiling join-patterns",
text = "F. Le Fessant and L. Maranget. Compiling join-patterns. In U. Nestmann
and B. C. Pierce, editors, HLCL '98: High-Level Concurrent Languages, volume
16(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science
Publishers, Sept. 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/lefessant98compiling.html" }
Citations (may not include all citations):521 Compiling with continuations (context) - Appel - 1992
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
71 distributed references supporting acyclic garbage collection (context) - Shapiro, Dickman et al. - 1992
34 Compiling pattern matching (context) - Augustsson - 1985
31 A calculus of mobile processes : part - Milner, Parrow et al. - 1989
24 a la ML for the join-calculus (context) - Fournet, Laneve et al. - 1997
21 Software and documentation available on the Web (context) - Leroy, Vouillon et al. - 1996
5 Compiling lazy pattern matching - Maranget - 1992
1 Software and documentation available on the Web (context) - Fessant, system - 1998
1 Software and documentation (context) - Padovani, join - 1997
1 Software and documentation available on the Web (context) - Fournet, Maranget et al. - 1997
Documents on the same site (http://pauillac.inria.fr/publioscope.html): More
Optimal Derivations in Weak Lambda-calculi and in Orthogonal.. - Maranget (1991) (Correct)
Functional Back-Ends within the Lambda-Sigma Calculus - Hardin, Maranget, Pagano (1996) (Correct)
A Web navigator with applets in Caml - Rouaix (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC