5 Parameter Passing

We describe a language and a compiler for writing distributed applications and systems, structured with fragmented objects. The language is an extension of C++. The compiler statically ensures the encapsulation of fragmented objects, the typesafety of remote communication, and generates code for the common cases of remote communication and object migration. It interfaces to the SOS operating system via a set of prede ned classes, which are easily portable to other operating systems.