P.W. Trinder, R.F. Pointon, H-W. Loidl  Home/Search
Context Related
| cee.hw.ac.uk/~dsg/...sal_sfp00_draft.ps macs.hw.ac.uk/~dsg...sal_sfp00_draft.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: cee.hw.ac.uk/~trin...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Functional languages potentially o er bene ts for distributed fault tolerance: many computations are pure, and hence have no side-e ects to be reversed during error recovery; moreover functional languages have a high-level runtime system (RTS) where computations and data are readily manipulated. We propose a new RTS level of fault tolerance for distributed functional languages, and outline a design for its implementation for the GdH language. The design distinguishes between pure and... (Update)
Context of citations to this paper: More
...in parallel. It may be easier to implement fault tolerance for pure computations because a failed computation can be safely restarted [TPL00] We have designed and implemented a language based on (non strict) distributed graph reduction, and this confers some speci c...
Cited by: More
The Design and Implementation of GdH - Draft Pointon Trinder (Correct)
The Design and Implementation of Glasgow distributed Haskell - Pointon, Trinder, Loidl (2000) (Correct)
Similar documents (at the sentence level):
53.2%: Unknown - System (Correct)
Active bibliography (related documents): More All
0.3: An Actor-Based Framework For Real-Time Coordination - Ren (1997) (Correct)
0.3: Process Placement in Distributed Multiprocessor Systems: An.. - Dwyer (1998) (Correct)
0.2: Efficient Logic Variables for Distributed Computing - Haridi, Van Roy, Brand.. (Correct)
Similar documents based on text: More All
0.3: Implementing Declarative Parallel Bottom-Avoiding Choice - Bois, Pointon, Loidl, Trinder (2002) (Correct)
0.2: Monads for Functional Programming - Wadler (1995) (Correct)
0.1: Pure versus Impure Lisp - Pippenger (1996) (Correct)
Related documents from co-citation: More All
2: CORBA Fundamentals and Programming (context) - Siegel - 1996
2: Towards a Declarative Language for Parallel and Concurrent Programming - Breitinger, Loogen et al. - 1995
2: Programming Parallel Algorithms - Blelloch - 1996
BibTeX entry: (Update)
P.W. Trinder, R.F. Pointon, and H-W. Loidl. Runtime System Level Fault Tolerance for a Distributed Functional Language. In SFP'00, University of St Andrews, Scotland, July 2000. http://citeseer.ist.psu.edu/trinder00runtime.html More
@misc{ trinder00runtime,
author = "P. Trinder and R. Pointon and H. Loidl",
title = "Runtime System Level Fault Tolerance for a Distributed Functional Language",
text = "P.W. Trinder, R.F. Pointon, and H-W. Loidl. Runtime System Level Fault
Tolerance for a Distributed Functional Language. In SFP'00, University of
St Andrews, Scotland, July 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/trinder00runtime.html" }
Citations (may not include all citations):287 PVM: Parallel Virtual Machine | A Users' Guide and Tutorial .. (context) - Geist, Beguelin et al. - 1994
278 Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
244 Imperative Functional Programming - Jones, Wadler - 1993
200 Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner - 1997
119 Facile: a symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989
98 Fault Tolerance Principles and Practice (context) - Lee, Anderson - 1990
65 Report on the Programming Language Haskell (context) - Peterson, Hammond et al. - 1997
40 Programming languages for distributed applications - Haridi, Van Roy et al. - 1998
39 A semantics for imprecise exceptions - Jones, Reid et al. - 1999
36 A practical subtyping system for Erlang - Marlow, Wadler - 1997
31 An overview of the design of Distributed Oz - Haridi, Van Roy et al. - 1997
31 Journal of Functional Programming (context) - Trinder, Hammond et al. - 1998
28 Asynchronous exceptions in Haskell - Marlow, Jones et al. - 2000
23 Higher-order distributed objects - Cejtin, Jagganathan et al. - 1995
21 Version Programming: a fault-tolerance approach to reliabili.. (context) - Chen, Aviziensis - 1978
20 Concurrent Clean - Language Report (context) - Plasmeijer, Van Eekelen - 1998
18 Checking a large routine (context) - Turing - 1949
16 Distributed programming in Erlang - Wikstrom - 1994
11 GUM: A portable implementation of Haskell (context) - Trinder, Hammond et al. - 1996
11 NonStop' Operating System (context) - Bartlett - 1978
10 A Language for Specifying the Composition of Reliable Distri.. - Ranno, Shrivastava et al. - 1998
9 Facing up to faults - Randell - 2000
6 Ensuring Termination in ESFP (context) - Telford, Turner - 1999
5 the separation of concerns in distributed programming: Appli.. - Van Roy - 1999
4 An Introduction to Program Fault Tolerance (context) - Mili - 1990
4 Implementing Distributed Real-time control systems in a func.. - Wikstrom - 1996
2 GdH Design and Implementation (context) - Pointon, Trinder et al. - 2000
2 Dependable Network Computing (context) - Laprie - 1999
1 USENIX Computing Systems (context) - Parrington, Shrivastava et al. - 1995
1 MMnesia - A distributed robust DBMS for telecommunications a.. (context) - Mattsson, Nilsson et al. - 1999
Documents on the same site (http://www.cee.hw.ac.uk/~trinder/publications.html): More
Comprehensions, a Query Notation for DBPLs - Trinder (1990) (Correct)
A Parallel Functional Database on GRIP - Akerholt, Hammond, Jones, Trinder (1991) (Correct)
Towards a Theory of Bulk Types - Watt, Trinder (1991) (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