Alan Bawden, Harry G. Mairson  Home/Search
Context
Related
| linearity.org/linear/papers...wp1.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: linearity.org/linear/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose to design and implement significant new forms of procedure calling protocols, together with relevant supporting formal tools and implementation technology, and experiments that evaluate their feasibility and effectiveness. (Update)
Similar documents (at the sentence level):
19.0%: Implementing Distributed Systems Using Linear Naming - Bawden (1993) (Correct)
Active bibliography (related documents): More All
0.3: Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (Correct)
0.3: A Blond Primer - Danvy, Malmkjær (1988) (Correct)
0.2: First-Class Synchronization Barriers - Turbak (1996) (Correct)
Similar documents based on text: More All
0.4: On Global Dynamics of Optimal Graph Reduction - Lawall, Mairson (1997) (Correct)
0.3: Optimality and Inefficiency : What Isn't a Cost Model of the.. - Lawall, Mairson (1996) (Correct)
0.3: Sharing Continuations: Proofnets for Languages with Explicit.. - Lawall, Mairson (2000) (Correct)
BibTeX entry: (Update)
@misc{ bawden-linear,
author = "Alan Bawden and Harry G. Mairson",
title = "Linear Naming: Experimental Software for Optimizing Communication Protocols",
url = "citeseer.ist.psu.edu/bawden98linear.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992 ACM
476 Implementing remote procedure calls - Birrell, Nelson - 1984 ACM DBLP
430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman - 1985 ACM
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
369 Information and Computation (context) - Moggi, computation - 1991 DBLP
293 The essence of functional programming - Wadler - 1992 ACM DBLP
286 The Connection Machine (context) - Hillis - 1985 ACM
220 ORBIT: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986 ACM DBLP
215 Theoretical Computer Science (context) - Girard - 1987 ACM
109 Interaction nets (context) - Lafont - 1990 ACM DBLP
68 Promises: Linguistic support for efficient asynchronous proc.. (context) - Liskov, Shrira - 1988 ACM DBLP
62 USCInformation Science Institute (context) - Transmission, Request et al. - 1981
40 Computation migration: enhancing locality for distributed-me.. (context) - Hsieh, Wang et al. - 1993 DBLP
30 A programmable interface language for heterogeneous distribu.. (context) - Falcone, Emer - 1985 ACM DBLP
24 An algorithm for optimal lambda calculus reduction (context) - Lamping - 1990 ACM DBLP
21 ACM Transactions on Programming Languages and Systems (context) - Cejtin, Jagannathan et al. - 1995
19 Communication in the Mercury system (context) - Liskov, Bloom et al. - 1988
17 Linear logic: Its syntax and semantics (context) - Girard
16 Connection graphs (context) - Bawden - 1986 ACM DBLP
14 Optimality and inefficiency: What isn't a cost model of the .. - Lawall, Mairson
10 Optimal reductions in the lambda-calculus (context) - L'evy - 1980
8 Computer Science Department (context) - Filinski, categorical et al. - 1989
6 On global dynamics of optimal graph reduction - Lawall, Mairson ACM DBLP
5 Delaunay: a database visualization system - Cruz, Averbuch et al. - 1997 DBLP
4 Network extensible file system protocol specification (context) - Microsystems - 1990
4 Linear Graph Reduction: Confronting the Cost of Naming (context) - Bawden - 1992
3 a study in compiler optimization (context) - Jr, for - 1978
2 Late Binding RPC (context) - Partridge - 1992
1 Parallel beta is not elementary recursive (context) - Asperti, Mairson - 1998
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