Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers
K. Rustan M. Leino · CaltechAUTHORS (California Institute of Technology) · 1992
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.