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

  • Authors:
  • K. R Leino

  • Affiliations:
  • -

  • Venue:
  • Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers
  • Year:
  • 1992
  • Network objects

    SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles

Quantified Score

Hi-index 0.00

Visualization

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.