Chi Yao  Home/Search
Context
Related
| nyu.edu/pub/techreports/tr667.ps.Z de/pub/languages/nyu.edu/t...tr667.ps.Z 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: hypatia.dcs.qmw....hpc.functional (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This research is an attempt to reason about the control of parallel computation in the world of applicative programming languages. Applicative languages, in which computation is performed through function application and in which functions are treated as first-class objects, have the benefits of elegance, expressiveness and having clean semantics. Parallel computation and real-world concurrent activities are much harder to reason about than the sequential counterparts. Many parallel applicative ... (Update)
Similar documents (at the sentence level):
6.7%: Pscheme: Extending Continuations to Express Control and.. - Yao, Goldberg (1990) (Correct)
Active bibliography (related documents): More All
0.5: Logic Simulation on a Multiprocessor - Bradley (1986) (Correct)
0.5: Parallel Simulation of Digital LSI Circuits - Arnold (1985) (Correct)
0.3: An Effective Speculative Evaluation Technique for Parallel.. - Mattson, Jr. (1993) (Correct)
Similar documents based on text: More All
0.1: Bibliography - June Ss (Correct)
0.1: Free Parallel Data Mining - Li (1998) (Correct)
0.1: Polymorphic Splitting: An Effective Polyvariant Flow Analysis - Wright, Jagannathan (1998) (Correct)
BibTeX entry: (Update)
@techreport{ yao94representing,
author = "C. Yao",
title = "Representing Control in Parallel Applicative Programing",
number = "TR1994-667",
month = ",",
year = "1994",
url = "citeseer.ist.psu.edu/yao94representing.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
673 ACTORS: A model of concurrent computation in distributed sys.. (context) - Agha - 1986
521 Compiling with Continuations (context) - Appel - 1992
306 LCF considered as a programming language (context) - Plotkin - 1977
239 Monitors: An operating system structuring concept (context) - Hoare - 1974
234 Multilisp: A language for concurrent symbolic computation (context) - Halstead - 1985
220 ORBIT: an optimizing compiler for Scheme (context) - Kranz - 1988
218 The mechanical evaluation of expressions (context) - Landin - 1964
159 The NYU Ultracomputer -- designing an MIMD shared memory com.. (context) - Gottlieb - 1983
152 structures: Data structures for parallel computing - Arvind, Nikhil - 1987
132 A nonrecursive list compacting algorithm (context) - Cheney - 1970
92 Reflection and semantics in LISP (context) - Smith - 1984
87 call-by-value and lambda calculus (context) - Plotkin - 1975
83 Basic techniques for the efficient coordination of very larg.. - Gottlieb, Lubachevsky et al. - 1983
81 The theory and practice of first-class prompts (context) - Felleisen - 1988
81 A proposal for standard ML (context) - Milner
80 the Dataflow Programming Language (context) - Ashcroft - 1985
72 A semantics for ml concurrency primitives - Berry, Milner et al. - 1992
70 No assembly required: compiling standard ML to C - Tarditi, Lee et al. - 1992
69 Executing a program on the MIT tagged-token dataflow archite.. (context) - Arvind - 1987
66 Abstracting control - Danvy, Fiinsky - 1990
66 a high performance parallel Lisp (context) - Kranz, Halstead et al. - 1990
63 Parallel Logic Programming in PARLOG (context) - Gregory - 1987
50 Parallel programming in linda (context) - Gelernter, Carriero et al. - 1985
39 Reification: Reflection without metaphysics (context) - Friedman, Wand - 1984
36 Reasoning with continuations II: full abstraction for models.. - Sitaram, Felleisen - 1990
35 Continuations and concurrency (context) - Hieb, Dybvig - 1990
34 Lambda-lifting: transforming programs to recursive equations - Johnson - 1985
34 Reasoning with continuations (context) - Felleisen, Friedman et al. - 1986
32 Speculative computation in Multilisp (context) - Osborne - 1990
28 Linear continuations - Filinski - 1992
25 New ideas in parallel lisp: Language design (context) - Halstead - 1990
25 Continuing into the future: On the interaction of futures an.. (context) - Katz, Weise - 1990
23 Engines from continuations (context) - Dybvig, Hieb - 1989
23 ACM Transactions on Programming Languages and Systems (context) - Schwartz - 1980
18 A parallel lisp language PaiLisp and its kernel specificatio.. (context) - Ito, Matsui - 1990
18 Obtaining coroutines with continuations (context) - Haynes, Friedman et al. - 1986
18 Parallel logic programming languages (context) - Takeuchi, Furukawa - 1987
17 An operational semantics of first-class synchronous operatio.. (context) - Reppy - 1991
17 How to Write Parallel Programs: A First Course (context) - Carriero, Gelernter - 1990
17 Non-strict languages -- programming and implementation - Wray, Fairbairn - 1989
10 ACM Transactions on Programming Languages and Systems (context) - Pingali, demand-driven - 1985
10 Simulated performance of a reduction-based multiprocessor (context) - Keller - 1984
8 Qlisp: An interim report (context) - Goldman, Gabriel et al. - 1990
7 On PaiLisp continuation and its implementation (context) - Ito, Seino - 1992
7 Modeling continuations without continuations (context) - Felleisen - 1991
5 Concurrent scheme (context) - Kessler, Swanson - 1990
4 The design of a multiprocessor development system (context) - Halstead, Anderson et al. - 1986
4 The design of a multiprocessor development system (context) - Anderson - 1982
4 Vrije Universiteit Brussel (context) - Maes, PhD - 1987
3 Rediflow multiprocessing (context) - Keller - 1984
1 Timing Programs on the NYU Ultracomputer (context) - Chiabout - 1986
1 VAL - a calue-oriented algorithmic language (context) - Ackerman, Dennis - 1979
1 SCM - a scheme language interpreter (context) - Jaffer
1 Representing control in the presence of first-calss continua.. (context) - Hieb, Dybvig et al. - 1990
1 GEDANKEN -- a simple typeless laguage based on the principle.. (context) - Reynolds - 1971
1 Multiway streams in Scheme - Franco, Friedman et al. - 1989
1 NYU Ultracomputer Unix Programmer's Manual: symunix (context) - Lab - 1986
1 How to write Parallel Programs for the NYU Ultracomputer Pro.. (context) - Cahana, Edler et al. - 1986
1 Parallel Programming: Experience with Applications (context) - Goldman, Gabriel et al. - 1988
1 closuring-passing style (context) - Appel - 1989
1 Queue-based multiproccessing Lisp (context) - Gabriel, McCarthy - 1984
1 a non-strict puely functional language (context) - Hudak, Jones et al. - 1992
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/hpc.functional.html): More
A Parallel Complexity Model for Functional Languages - Guy Blelloch, John Greiner (1994) (Correct)
Computing Downwards Accumulations on Trees Quickly - Gibbons (1996) (Correct)
Expressing Nested Data Parallel Operations Through.. - Engelhardt, Wendelborn (1994) (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