F. Le Fessant and L. Maranget (1998), Compiling Join-Patterns, In Proc. HLCL'98, Electronic Notes in Computer Science 16(3), Elsevier. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) Self-citation (Le fessant Maranget) (Correct)
No context found.
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.
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. Self-citation (Le fessant Maranget) (Correct)
....dynamic senders and receivers on every channel) in terms of expressiveness, but o er several advantages from a programming language viewpoint. 1. For each channel 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 regards distributed implementations, the static de nition of channels (also known as locality in concurrency) enables an ecient implementation of routing: for ....
.... The latest JoCaml release contains a reference manual, a series of sample programs, and a more extensive tutorial [15] Some aspects of the implementation are described elsewhere in more details: the distributed garbage collector [18, 16] the type system [9] the compilation of join patterns [17]. A gentle introduction to the more formal aspects of the join calculus can be found in [8] which further discusses its relation to functional programming, surveys its equational theory and proof techniques, and gives operational semantics for concurrency, distribution, and mobility. 2 ....
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.
High-Level Petri Nets as - Type Theories In (Correct)
No context found.
F. Le Fessant and L. Maranget (1998), Compiling Join-Patterns, In Proc. HLCL'98, Electronic Notes in Computer Science 16(3), Elsevier.
The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
No context found.
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, Nice, France, Sept. 1998. Elsevier Science Publishers. To appear.
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (5 citations) (Correct)
No context found.
F. Le Fessant and L. Maranget (1998), Compiling Join-Patterns, In Proc. HLCL'98, Electronic Notes in Computer Science 16(3), Elsevier.
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