Published April 25, 2001
| Submitted
Report
Open
Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers
- Creators
- Leino, K. Rustan M.
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.
Additional Information
© 1992 California Institute of Technology. I'm very grateful to my advisor Jan L. A. van de Snepscheut, for many discussions, encouragement, and ongoing support. I'm also grateful to Greg Nelson for his enthusiasm about my starting this work, and to Robert J. Harley and H. Peter Hofstee for the many comments and good suggestions they provided on the writeup of this paper.Attached Files
Submitted - 92-26.pdf
Submitted - 92-26.ps
Files
92-26.pdf
Additional details
- Eprint ID
- 26772
- Resolver ID
- CaltechCSTR:1992.cs-tr-92-26
- Created
-
2001-04-25Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports