Steven E. Ganz, Daniel P. Friedman, Mitchell Wand  Home/Search
Context Related
| neu.edu/pub/people/wand/pa...icfp99.ps neu.edu/pub/people/wand/pa...icfp99.ps indiana.edu/hyplan/sganz/pub...paper.ps 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: neu.edu/pub/people/wand/papers... (more) From: neu.edu/home/wand/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A trampolined program is organized as a single loop in which computations are scheduled and their execution allowed to proceed in discrete steps. Writing programs in trampolined style supports primitives for multithreading without language support for continuations. Various forms of trampolining allow for different degrees of interaction between threads. We present two architectures based on an only mildly intrusive trampolined style. Concurrency can be supported at multiple levels of... (Update)
Cited by: More
Integrating Remote Invocations with Asynchronism and.. - Rodriguez, Rossetto (2005) (Correct)
Workflow Enactment with Continuation and Future Objects - Manolescu (2002) (Correct)
Selective Tail Call Elimination - Minamide (2003) (Correct)
Similar documents (at the sentence level):
69.8%: Trampolined Style - Ganz, Friedman, Wand (1999) (Correct)
5.7%: Trampolining Architectures - Ganz, Friedman (2000) (Correct)
Active bibliography (related documents): More All
0.5: Design of a Concurrent and Distributed Language - Queinnec, De Roure (1992) (Correct)
0.5: Static Dependent Costs for Estimating Execution Time - Brian Reistad David (Correct)
0.5: Chapter 4 Purity, Impurity and Efficiency in Graph Algorithms - Ri Th Ms (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: An Object Encoding For SelfType - Ganz, Friedman (Correct)
0.3: A Monadic Categorical Semantics for Threads - Sobel, Ganz, Friedman, Wand (Correct)
0.2: Relating Models of Backtracking - Mitchell Wand Dale (Correct)
BibTeX entry: (Update)
S. D. Ganz, D. P. Friedman, and M. Wand. Trampolined style. In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming (ICFP '99), pages 18--22, 1999. http://citeseer.ist.psu.edu/article/ganz99trampolined.html More
@inproceedings{ ganz99trampolined,
author = "Steven E. Ganz and Daniel P. Friedman and Mitchell Wand",
title = "Trampolined Style",
booktitle = "International Conference on Functional Programming",
pages = "18-27",
year = "1999",
url = "citeseer.ist.psu.edu/article/ganz99trampolined.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computation - 1991
291 Computational lambda calculus and monads - Moggi - 1989
254 Comprehending monads - Wadler - 1990
184 Definitional interpreters for higher order programming langu.. (context) - Reynolds - 1972
68 Introduction to Metamathematics (context) - Kleene - 1952
66 Abstracting control - Danvy, Filinski - 1990
35 Abstract continuations: A mathematical semantics for handlin.. (context) - Felleisen, Wand et al. - 1988
23 Engines from continuations (context) - Dybvig, Hieb - 1989
19 Cons should not cons its arguments (context) - Baker - 1995
18 Abstracting timed preemption with engines (context) - Haynes, Friedman - 1987
17 Design of a concurrent and distributed language - Queinnec, DeRoure - 1993
15 Continuations and coroutines (context) - Haynes, Friedman et al. - 1986
15 A model and stack implementation of multiple environments (context) - Bobrow, Wegbreit - 1973
12 Lisp and Symbolic Computation (context) - Hieb, Dybvig et al. - 1993
11 Reification without evaluation (context) - Bawden - 1988
8 Recursive definition of syntax and semantics (context) - van Wijngaarden - 1966
4 Continuations and threads: Expressing machine concurrency di.. - Shivers - 1997
3 Lisp and Symbolic Computation (context) - Kumar, Bruggeman et al. - 1998
3 Value transforming style - Queinnec - 1992
2 A portable multiprocessor interface for Standard ML of New J.. - Morrisett, Tolmach - 1992
2 An indeterminate constructor for applicative programming (context) - Friedman, Wise - 1980
2 Department of Electronics and Computer Science (context) - De Roure, ---continuations et al. - 1990
1 Bohm and Jacopini's reduction of flow charts (context) - Cooper - 1967
1 No assembly required: A standard ML to C compiler (context) - Tarditi, Lee et al. - 1992
Documents on the same site (http://ftp.ccs.neu.edu/pub/people/wand/papers/): More
Embedding Type Structure in Semantics - Wand (1985) (Correct)
An Extensional Metalanguage with I/O and a Dynamic Store.. - Wand, al. (1995) (Correct)
Denotational Semantics Using an Operationally-Based Term Model - Wand, Sullivan (1997) (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