Technical Report Number
In this paper, we take the extreme view that every line of code is potentially mobile, i.e., may be duplicated and/or moved from one program context to another on the same host or across the network. Our motivation is to gain a better understanding of the range of constructs and issues facing the designer of a mobile code system, in a setting that is abstract and unconstrained by compilation and performance considerations traditionally associated with programming language design. Incidental to our study is an evaluatoin of the expressive power of Mobile UNITY, a notation and proof logic for mobile computing.
Mascolo, Cecilia; Picco, Gian Pietro; and Roman, Gruia-Catalin, "A Fine-Grained Model for Code Mobility" Report Number: WUCS-99-07 (1999). All Computer Science and Engineering Research.