Mark Hayden  Home/Search
Context Related
| para.inria.fr/~lefe...00002Hay97.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: para.inria.fr/~lefessan/b...publi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present our experience in implementing a group communication toolkit in Objective Caml, a dialect of the ML family of programming languages. We compare the toolkit both quantitatively and qualitatively to a predecessor toolkit which was implemented in C. Our experience shows that using the high-level abstraction features of ML gives substantial advantages. Some of these features, such as automatic memory management and message marshalling, allowed us to concentrate on those pieces of the... (Update)
Context of citations to this paper: More
.... been used in several complex programs for distributed systems, such as Web browsers (MMM) group communication platforms (Ensemble[Hay97] or Active Networks (SwitchWare[AHK 98] 3.2 Programming tutorial This section gives an overview of the Jocaml language....
.... many complex programs for distributed systems, such as Web browsers with applets (MMM [26] group communication libraries (Ensemble [12]) and Active Networks (SwitchWare [2] and to experiment on a variety of parallel machines. Adding Concurrent Programming. OCaml is a...
Cited by: More
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) (Correct)
Jocaml: mobile agents for Objective-Caml - Conchon (1999) (Correct)
Active bibliography (related documents): More All
0.5: Uniprocessor Garbage Collection Techniques - Wilson (1992) (Correct)
0.3: Principles and a Preliminary Design for ML2000 - Group (1999) (Correct)
0.3: Functions, Frames, and Interactions - completing a.. - Reinke (1998) (Correct)
Similar documents based on text: More All
0.2: The Horus System - Robbert Van Renesse (1993) (Correct)
0.2: Multimedia in Three Dimensions for Archaeology; - Information Retrieval With (Correct)
0.0: Improved code sharing in dynamically generated marshalling.. - Menage (Correct)
Related documents from co-citation: More All
3: a la ML for the join calculus (context) - Fournet, Laneve et al. - 1997
3: An Introduction to the TACOMA Distributed System Version - Johansen, van Renesse et al. - 1995
3: Agent Tcl: A transportable agent system (context) - Gray - 1995
BibTeX entry: (Update)
Mark Hayden. Distributed communication in ML. Technical Report TR97-1652, Cornell University, Computer Science, November 11, 1997. http://citeseer.ist.psu.edu/hayden97distributed.html More
@article{ hayden00distributed,
author = "Mark Hayden",
title = "Distributed communication in {ML}",
journal = "Journal of Functional Programming",
volume = "10",
number = "1",
pages = "91-120",
year = "2000",
url = "citeseer.ist.psu.edu/hayden97distributed.html" }
Citations (may not include all citations):640 Transmission control protocol (context) - Postel - 1981
317 Reliable Distributed Computing with the Isis Toolkit (context) - Birman, van Renesse - 1994
242 Concurrent Programming in Erlang - Armstrong, Williams et al. - 1996
216 Exploiting virtual synchrony in distributed systems (context) - Birman, Joseph - 1987
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
189 Security architecture for the Internet Protocol (context) - Atkinson - 1995
157 Horus: A flexible group communication system - van Renesse, Birman et al. - 1996
130 Building Secure and Reliable Network Applications - Birman - 1996
112 Dynamic storage allocation: A survey and critical review - Wilson, Johnstone et al. - 1995
89 Implementing fault-tolerant services using the state machine.. (context) - Schneider - 1990
69 Adding group communication and faulttolerance to CORBA - Maffeis - 1995
46 Specification of Abstract Syntax Notation One (context) - Recomendation - 1987
31 Optimizing layered communication protocols (context) - Hayden, van Renesse - 1997
30 A structured TCP in Standard ML - Biagioni - 1994
27 Signatures for a network protocol stack: A systems applicati.. - Biagioni, Harper et al. - 1994
25 Turbo Erlang: Approaching the speed of C (context) - Hausman - 1994
16 Kernel: Evaluating new design techniques (context) - Peterson, Hutchinson et al. - 1993
15 Implementing Mathematics in the NuPRL Proof Development Syst.. (context) - Constable - 1986
12 The Objective Caml system release (context) - Leroy - 1997
11 Formal reasoning about communication systems I: Embedding ML.. (context) - Kreitz - 1997
3 Reflections on Standard ML - MacQueen - 1993
2 Finalization in the garbage collector interface (context) - Hayes - 1992
1 Le Language Caml (context) - Weis, Leroy - 1993
1 The MLWorks User Guide (context) - Group - 1996
Documents on the same site (http://para.inria.fr/~lefessan/biblio/publi.html): More
An Implementation of Complete, Asynchronous.. - Le Fessant, Piumarta, .. (1998) (Correct)
Modelling IP Mobility - Amadio, Prasad (1998) (Correct)
Cyclic Distributed Garbage Collection with Group Merger - Rodrigues, Jones (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