Leino, K. Rustan M. (1993) Multicomputer Programming with Modula-3D. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15
![]()
|
Postscript
- Submitted Version
See Usage Policy. 487kB | |
![]() |
PDF
- Submitted Version
See Usage Policy. 325kB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15
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. We show some strengths and weaknesses of the programming model, and describe and critique our implementation of the language.
Item Type: | Report or Paper (Technical Report) | ||||
---|---|---|---|---|---|
Additional Information: | © by K. Rustan M. Leino. 1993 California Institute of Technology. 4 June 1993 Master's thesis provided as partial fulfillment of the degree of Master of Science. The research described herein was supported in part by the DEC System Research Center. Parts of this report appear in [19] Technical Report Caltech-CS-TR-93-15. | ||||
Group: | Computer Science Technical Reports | ||||
Funders: |
| ||||
Series Name: | Computer Science Technical Reports | ||||
DOI: | 10.7907/Z9F18WSP | ||||
Record Number: | CaltechCSTR:1993.cs-tr-93-15 | ||||
Persistent URL: | https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15 | ||||
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: | 26864 | ||||
Collection: | CaltechCSTR | ||||
Deposited By: | Imported from CaltechCSTR | ||||
Deposited On: | 14 May 2001 | ||||
Last Modified: | 03 Oct 2019 03:18 |
Repository Staff Only: item control page