Leino, K. Rustan M. (1992) Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26
|
Postscript
See Usage Policy. 106Kb | |
|
Other (Adobe PDF (140KB))
See Usage Policy. 136Kb |
Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26
Abstract
In this note, we extend an object-oriented language to support programming fine-grain multicomputers. The new constructs have a simple semantics and provide a nice way to write distributed programs. The semantics of the constructs are independent of how a program is distributed. We also show a set of simple conditions under which even the outcome of a program is independent of how its control and data are distributed.
| Item Type: | Report or Paper (Technical Report) |
|---|---|
| Group: | Computer Science Technical Reports |
| Record Number: | CaltechCSTR:1992.cs-tr-92-26 |
| Persistent URL: | http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26 |
| Usage Policy: | You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format. |
| ID Code: | 26772 |
| Collection: | CaltechCSTR |
| Deposited By: | Imported from CaltechCSTR |
| Deposited On: | 25 Apr 2001 |
| Last Modified: | 26 Dec 2012 14:04 |
Repository Staff Only: item control page


