Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers

Leino, K. Rustan M. (1992) Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-26]

Full text available as:

	Postscript - Requires a viewer, such as GhostView
	Other (Adobe PDF (140KB))

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.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	122
Deposited By:	Caltech Library System
Deposited On:	25 April 2001
Record Number:	CaltechCSTR:1992.cs-tr-92-26
Official 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.

Archive Staff Only: edit this record