Suresh Jagannathan Department of Computer Science Yale University New Haven,...  Home/Search
Context Related
| nec.com/pub/pls/plc91.ps nec.com/homepages/jagannatha...plc91.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: hypatia.dcs.qmw....hpc.functional (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper considers the design and optimization of a simple asynchronous parallel language that uses first-class tuple-spaces as its main communication and process creation device. Our proposed kernel language differs from other tuple-space languages insofar tuple-spaces are treated as true first-class objects. Moreover, we develop a formal framework for constructing an optimizing preprocessor for such a language. The semantic analysis is based on an inference engine that statically computes... (Update)
Context of citations to this paper: More
...matching procedure. 5] discusses how distributed data structures found in other programming models may be implemented using tuple spaces. [15] discusses compile time analysis techniques for first class tuple spaces in higher order languages. Beyond the fact that T S is derived...
...not statements. We have built a customized type inference procedure to specialize the representation of tuple spaces whenever possible[17]. In our current implementation, tuple spaces can be specialized as synchronized vectors, queues, streams, sets, shared variables,...
Cited by: More
A Customizable Substrate for Concurrent Languages - Jagannathan, Philbin (1992) (Correct)
Customization of First-Class Tuple-Spaces in a Higher-Order.. - Jagannathan (1991) (Correct)
Active bibliography (related documents): More All
0.3: A Programming Language Supporting First-Class Parallel.. - Jagannathan (1989) (Correct)
0.3: The Semantics of a Parallel Language based on a Shared.. - Ciancarini, Jensen.. (1992) (Correct)
0.3: On the Expressiveness of Linda Coordination Primitives - Busi, Gorrieri, Zavattaro (Correct)
Similar documents based on text: More All
0.6: Safe Tuplespace-Based Coordination in Multi Agent Systems - Minsky, Minsky, Ungureanu (2001) (Correct)
0.3: Distributed Scientific Computation With JavaSpaces? - Noble, Zlateva (2001) (Correct)
0.2: A Concurrent Abstract Interpreter - Weeks, al. (1994) (Correct)
Related documents from co-citation: More All
2: How to Write Parallel Programs: A Guide to the Perplexed (context) - Carriero, Gelernter - 1989
2: Multilisp: A language for concurrent symbolic computation (context) - Robert, Halstead - 1985
2: Experience with cst: Programming and implementation (context) - Horwat, Chien et al. - 1989
BibTeX entry: (Update)
Suresh Jagannathan. Optimizing Analysis for First-Class Tuple-Spaces. In Third Workshop on Parallel Languages and Compilers, August 1990. Forthcoming from MIT Press. http://citeseer.ist.psu.edu/jagannathan90optimizing.html More
@incollection{ suresh91optimizing,
author = "Jagannathan, Suresh",
title = "{O}ptimizing {A}nalysis for {F}irst-{C}lass {T}uple-{S}paces",
booktitle = "Advances in Languages and Compilers for Parallel Processing",
publisher = "MIT Press",
editor = "Nicolau, Alexandru and Gelernter, David and Gross, Thomas and Padua, David",
year = "1991",
url = "citeseer.ist.psu.edu/jagannathan90optimizing.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
634 A Machine-Oriented Logic Based on the Resolution Principle (context) - Robinson - 1965
388 On Understanding Types (context) - Cardelli, Wegner - 1985
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
152 Structures: Data Structures for Parallel Computing - Rishiyur, Keshav et al. - 1989
146 Investigations into Logical Deduction (context) - Gentzen - 1969
122 Multilisp: A Language for Concurrent Symbolic Computation (context) - Halstead - 1985
105 Multiple Tuple Spaces in Linda (context) - Gelernter - 1989
48 Concurrent Prolog: A Progress Report (context) - Shapiro - 1986
47 Applications Experience with Linda (context) - Carriero, Gelernter - 1988
44 Data Flow Analysis of Applicative Programs Using Minimal Fun.. (context) - Jones, Mycroft - 1986
36 Experience with CST: Programming and Implementation (context) - Horwat, Chien et al. - 1989
22 Melinda: Linda with Multiple Tuple Spaces (context) - Hupfer - 1990
18 Principle Type-schemes for Functional Programs (context) - Damas, Milner - 1982
17 Linda Meets Unix (context) - Leler - 1990
15 Tuple Analysis and Partial Evaluation Strategies in the Lind.. (context) - Carriero, Gelernter - 1989
3 Semantics and Analysis of First-Class Tuple-Spaces (context) - Jagannathan - 1990
3 Computation Structures Group Technical Report (context) - Nikhil, Manual et al. - 1988
1 Technical Report RR (context) - Bjornson, Carriero et al. - 1988
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