Luc Moreau  Home/Search
Context Related
| ecs.soton.ac.uk/~lavm/p...parle92.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: ecs.soton.ac.uk/~lavm/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Explicit parallelism can be introduced in Scheme by adding the constructs fork, pcall and future. Katz and Weise gave an implementation where those constructs are transparent even when rst class continuations are used. In this paper, we formalise this work by giving an operational semantics for a functional language with rst class continuations and transparent constructs for parallelism. We introduce a concept of higher order continuation that we call metacontinuation which preserves... (Update)
Context of citations to this paper: More
...such as goto i.e. unconditional jump. CPS and sophisticated control handling have always been sources of inspiration, see [DL92, SF92, Mor92, FSDF93, Sit93] for recent developments. Denotational techniques often drift into program transformations: CPS was exploited in...
...Gamma 1) where nF (resp. nE ) is the number of values returned by F (resp. E) This behavior appears on figure 2 and is detailed in [Que91, Mor92] CD Scheme allows to program pcall with whatever semantics. The following example corresponds to the additive semantics. The...
Cited by: More
A Study on Mobile Language Systems - Sekiguchi (1999) (Correct)
Translating Core Facile - Amadio (1995) (Correct)
Design of a Concurrent and Distributed Language - Queinnec, De Roure (1992) (Correct)
Similar documents (at the sentence level):
22.8%: A Parallel Functional Language With First-Class Continuations.. - Moreau (Correct)
Active bibliography (related documents): More All
1.0: Sound Rules for Parallel Evaluation of a Functional Language.. - Moreau, Ribbens (1993) (Correct)
0.4: A Concurrent and Distributed Extension of Scheme - Christian Queinnec (1992) (Correct)
0.2: Exception Handlers in Functional Programming Languages - Govindarajan (1993) (Correct)
Similar documents based on text: More All
0.2: The Semantics of Pcall and Fork in the Presence of.. - Moreau, Ribbens (1995) (Correct)
0.2: Non-speculative and Upward Invocation of Continuations in a.. - Moreau (1995) (Correct)
0.2: First-class Interpreters: Illustrating the Limits Imposed.. - Simmons, II, Friedman (1993) (Correct)
Related documents from co-citation: More All
4: Continuations and Concurrency (context) - Hieb, Dybvig - 1990
3: The revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
3: Continuations and Coroutines (context) - Haynes, Friedman et al. - 1984
BibTeX entry: (Update)
Luc Moreau. An operational semantics for a parallel functional language with continuations. In D. Etiemble and J-C. Syre, editors, PARLE '92 -- Parallel Architectures and Languages Europe, pages 415--430, Paris (France), June 1992. Lecture Notes in Computer Science 605, Springer-Verlag. http://citeseer.ist.psu.edu/moreau92operational.html More
@inproceedings{ moreau92operational,
author = "L. Moreau",
title = "An Operational Semantics for a Parallel Functional Language with Continuations",
booktitle = "{PARLE} '92: Proceedings of the 4th International Conference on Parallel Architectures and Languages Europe, Paris",
publisher = "Springer-Verlag",
address = "Berlin, DE",
editor = "D. Etiemble and J.-C. Syre",
isbn = "3-540-55599-4",
pages = "415--430",
year = "1992",
url = "citeseer.ist.psu.edu/moreau92operational.html" }
Citations (may not include all citations):197 Revised 3 report on the algorithmic language scheme - Rees, Clinger - 1986
122 Multilisp : A language for concurrent symbolic computation (context) - Halstead - 1985
103 The denition of Standard ML (context) - Milner, Tofte et al. - 1990
89 closure-passing style (context) - Appel, Jim - 1989
72 A semantics for ML concurrency primitives - Milner, Berry et al. - 1992
66 Abstracting control - Danvy, Filinski - 1990
39 Series in Computer Science (context) - Milner, Concurrency - 1989
39 Massachusetts Institute of Technology (context) - Steele, Rabbit et al. - 1978
35 Continuations and concurrency (context) - Hieb, Dybvig - 1990
33 MultiScheme : A parallel processing system based on MIT Sche.. (context) - Miller - 1987
32 Speculative computation in Multilisp (context) - Osborne - 1990
27 PFL : A functional language for parallel programming and its.. (context) - Holmstrom - 1983
25 Continuing into the future: On the interaction of futures an.. (context) - Katz, Weise - 1990
25 New ideas in parallel lisp : Language design (context) - Halstead - 1990
19 First-class synchronous operations in Standard ML (context) - Reppy - 1989
18 Obtaining coroutines with continuations (context) - Haynes, Friedman et al. - 1986
15 Continuations and coroutines (context) - Haynes, Friedman et al. - 1984
13 Parallel symbolic computing (context) - Halstead - 1986
12 Garbage collection in MultiScheme (context) - Miller, Epstein - 1990
4 A language for massively parallel machines (context) - Queinnec - 1991
4 Exception handling in a parallel functional language: PSML (context) - Hammond - 1989
3 a semantics for a concurrent scheme (context) - Queinnec - 1990
2 Programmer dans un langage fonctionel parallele avec contin.. (context) - Moreau - 1992
2 Implementing a Parallel Functional Languages: PSML (context) - Hammond - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ecs.soton.ac.uk/~lavm/papers.html): More
A Parallel Functional Language With First-Class Continuations.. - Moreau (Correct)
A Distributed Garbage Collector for NeXeme - Moreau, De Roure (Correct)
Distributed Directory Service and Message Routing for Mobile Agents - Moreau (1999) (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