Bor-Yuh Evan Chang, Margaret DeLap, Jason Liszka, Tom Murphy, VII, Karl Crary, Robert Harper, Frank Pfenning  Home/Search
Context Related
| cmu.edu/~fp/papers/flgrid02.ps cmu.edu/afs/cs/user/fp/ww...flgrid02.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: cmu.edu/~fp/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To make development of grid applications less arduous, a natural, powerful, and convenient programming interface is required. First, we propose an expressive grid programming language which we hope will provide such an interface. Then we show how to map programs in this language onto a low-level, more compact architecture that can more easily provide the fault tolerance and inexpensive scheduling suitable for grid computing. Finally, we discuss programming techniques for taking advantage of the ... (Update)
Cited by: More
Trustless Grid Computing in ConCert - Chang, Crary, DeLap, Harper.. (2002) (Correct)
Active bibliography (related documents): More All
0.1: Towards a Functional Library for Fault-Tolerant Grid.. - Chang, DeLap, Liszka, .. (2002) (Correct)
0.0: Functional Grid Programming with ConCert - VII (2004) (Correct)
0.0: The Logical Approach to Stack Typing - Ahmed, Walker (2003) (Correct)
Similar documents based on text: More All
0.5: A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2003) (Correct)
0.3: Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
0.3: Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
Related documents from co-citation: More All
2: The Globus Toolkit (context) - Foster, Kesselman - 1997
2: The SLam calculus: Programming with secrecy and integrity - Heintz, Riecke - 1998
2: Type-safe linking and modular assembly language - Glew, Morrisett - 1999
BibTeX entry: (Update)
Bor-Yuh Evan Chang, Margaret DeLap, Jason Liszka, Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning. Towards a functional library for fault-tolerant grid computing. Submitted to GRID 2002, June 2002. To appear on the ConCert project webpage, URL: http://www.cs.cmu.edu/concert. http://citeseer.ist.psu.edu/article/chang02towards.html More
@misc{ chang02towards,
author = "B. Chang and M. {DeLap} and J. Liszka and T. Murphy~{VII} and K. Crary and R. Harper and F. Pfenning",
title = "Towards a functional library for fault-tolerant grid computing",
url = "citeseer.ist.psu.edu/article/chang02towards.html",
url = "http://www.cs.cmu.edu/~concert/",
year = "2002" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
122 Multilisp: A language for concurrent symbolic computation (context) - Halstead - 1985
44 Adaptive and reliable parallel computing on networks of work.. - Blumofe, Lisiecki - 1997
40 Distributed system fault tolerance using message logging and.. - Johnson - 1989
20 Trustless grid computing in ConCert - Chang, Crary et al. - 2002
2 Iktara in ConCert: Realizing a certi ed grid computing frame.. (context) - Chang - 2002
Documents on the same site (http://www.cs.cmu.edu/~fp/papers/): More
A Declarative Alternative to "Assert" in Logic Programming - Dietzen, Pfenning (1991) (Correct)
A Declarative Alternative to "Assert" in Logic Programming - Dietzen, Pfenning (1991) (Correct)
Structural Cut Elimination - I. Intuitionistic and Classical Logic - Pfenning (2000) (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