H. Conrad Cunningham, Gruia-Catalin Roman  Home/Search
Context Related
Links: ACM DBLP | olemiss.edu/~hcc/p...ds_swarm_logic.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: olemiss.edu/~hcc/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The term shared dataspace refers to the general class of programming languages in which the principal means of communication among the concurrent components of programs is a common, content-addressable data structure called a dataspace. In the programming language and artificial intelligence communities, there is considerable interest in such languages, e.g., logic-based languages, production rule systems, and the Linda language. However, these languages have not been the subject of... (Update)
Context of citations to this paper: More
...ones. Mixed specification and program refinement [22, 20] has been used in conjunction with the Swarm model [18] and its proof logic [3, 19]. In this paper we pose a simple question. Is it feasible to apply formal derivation techniques to the development of mobile applications...
.... dataspace paradigm has a very broad scope, encompassing the development of formal (operational and axiomatic) semantic models [12, 13, 30], novel programming metaphors specific to the shared dataspace paradigm [29] and new approaches to visualizing concurrent computations...
Cited by: More
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
Reasoning about Synchronic Groups - Gruia-Catalin Roman And (1992) (Correct)
Acknowledgments - The First Thanks (Correct)
Active bibliography (related documents): More All
2.2: Mixed Programming Metaphors in a Shared Dataspace Model of.. - Roman, Cunningham (2003) (Correct)
0.4: SwarmExec: A Prolog-Based Execution Engine for a.. - Cox, al. (1991) (Correct)
0.3: On Deriving Distributed Programs from Formal Specifications of.. - Roman, al. (1992) (Correct)
Similar documents based on text: More All
0.6: A Shared-Dataspace Language and its Compilation - Gaspari (1994) (Correct)
0.5: Formal Methods in Functional Programming - Cunningham (1994) (Correct)
0.5: Notes on Functional Programming with Gofer - Cunningham (1997) (Correct)
Related documents from co-citation: More All
23: Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
17: Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency - Roman, Cunningham - 1990
8: A Discipline of Programming (context) - Dijkstra - 1976
BibTeX entry: (Update)
H.C. Cunningham and G.C. Roman. A unity-style programming logic for a shared dataspace language. IEEE Transactions on Parallel and Distributed Systems, 1(3):365--376, 1990. http://citeseer.ist.psu.edu/cunningham03unitystyle.html More
@article{ cunningham90unitystyle,
author = "H. Conrad Cunningham and Gruia-Catalin Roman",
title = "A {UNITY}-Style Programming Logic for Shared Dataspace Programs",
journal = "IEEE Transactions on Parallel and Distributed Systems",
volume = "1",
number = "3",
pages = "365-376",
year = "1990",
url = "citeseer.ist.psu.edu/cunningham03unitystyle.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978 ACM DBLP
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988 ACM
652 A Discipline of Programming (context) - Dijkstra - 1976
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
185 Linda and friends (context) - Ahuja, Carriero et al. - 1986 ACM
111 Springer-Verlag (context) - Francez - 1986
77 Distributed cooperation with Action Systems (context) - Back, Kurki-Suonio - 1988 ACM DBLP
69 Programming Expert Systems in OPS5: An Introduction to Rule-.. (context) - Brownston, Farrell et al. - 1985 ACM
43 An improved algorithm for decentralized extrema-finding in c.. (context) - Chang, Roberts - 1979 ACM DBLP
33 A declarative approach to visualizing concurrent computation.. (context) - Roman, Cox - 1989 ACM DBLP
28 Mixed programming metaphors in a shared dataspace model of c.. - Roman, Cunningham - 1990 ACM
13 Associons: A program notation with tuples instead of variabl.. (context) - Rem - 1981 ACM DBLP
11 A relational notation for state transition systems (context) - Lam, Shankar - 1988 ACM DBLP
8 Soundness of the substitution axiom (context) - Misra - 1990
7 towards a formal approach (context) - LeLann - 1977
5 A shared dataspace model of concurrency---Language and progr.. (context) - Roman, Cunningham - 1989
4 Declarative visualization in the shared dataspace paradigm (context) - Roman, Cox - 1989
4 The synchronic group: A concurrent programming concept and i.. (context) - Roman, Cunningham - 1990
2 Language and visualization support for large-scale concurren.. (context) - Roman - 1988 ACM DBLP
2 The Shared Dataspace Approach to Concurrent Computation: The.. (context) - Cunningham - 1989
2 The closure statement: A programming language construct allo.. (context) - Rem - 1981 ACM DBLP
1 Toward formal verification of rule-based systems: A shared d.. (context) - Cunningham, Roman - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.olemiss.edu/~hcc/papers.html): More
Building a Layered Framework for the Table Abstraction - Cunningham, Wang (2001) (Correct)
A Reusable Software Framework for Distributed.. - Sudharshan Vazhkudai.. (Correct)
Mixed Programming Metaphors in a Shared Dataspace Model of.. - Roman, Cunningham (2003) (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