and Its Algebra of Programs Chris Hankin, Daniel Le Metayer, David Sands...  Home/Search
Context
Related
| cs.chalmers.se/~dav...SandsPARLE93.pdf 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: cs.chalmers.se/~dave/pape...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The primitive program schemes (called tropes) take the form of parameterised conditional rewrite rules, and the computational model is a variant of the Gamma style, in which computation proceeds by nondeterministic local rewriting of a global multiset. (Update)
Active bibliography (related documents): More All
0.3: Realtime Signal Processing - Dataflow, Visual, and Functional.. - Reekie (1995) (Correct)
0.1: From Gamma to CBS: Refining multiset transformations with.. - Sands, Weichert (1997) (Correct)
0.1: Composed Reduction Systems - Sands (1996) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ algebra-parallel,
author = "And Its Algebra",
title = "A Parallel Programming Style",
url = "citeseer.ist.psu.edu/745640.html" }
Citations (may not include all citations):716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
474 Term rewriting systems - Klop - 1990
273 Can programming be liberated from the von Neumann style (context) - Backus - 1978
206 Why functional programming matters - Hughes - 1989
151 Proving termination with multiset orderings (context) - Dershowitz, Manna - 1979
109 Programming by multiset transformation (context) - Banatre, Le Metayer - 1993
59 The Gamma model and its discipline of programming (context) - Banatre, Le Metayer - 1990
38 Parallel programming in Maude (context) - Meseguer, Winkler - 1991
38 Parallel Programming using Functional Languages - Roe - 1991
32 A calculus of Gamma programs (context) - Hankin, Le Metayer et al. - 1992
10 Research Directions in High-level Parallel Programming Langu.. (context) - Banatre, Le Metayer - 1992
3 Parallel programming with data structures and higher-order f.. (context) - Maasen - 1992
Documents on the same site (http://www.cs.chalmers.se/~dave/papers/index.html): More
Total Correctness by Local Improvement in the Transformation of.. - Sands (1996) (Correct)
Probabilistic Noninterference for Multi-threaded Programs - Sabelfeld, Sands (2000) (Correct)
A Semantic Model of Binding Times for Safe Partial Evaluation - Henglein, Sands (1995) (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