Technical Report Number
This paper explores the range of constructs and issues facing the designer of mobile code systems which allow for the unit of mobility to be finer-grained than that of execution. Mobile UNITY, a notation and proof logic for mobile computing, provides for this research a clean abstract setting, i.e., unconstrained by compilation and performance considerations traditionally associated with programming language design. Within the context of Mobile UNITY, we take the extreme view that every line of code and every variable declaration is potentially mobile, i.e., it may be duplicated and/or moved from one program contxt to another on the same host or across the network. We also assume that complex code systems may move with equal ease. The result is CodeWeave, a model for abstract exploration of new forms of code mobility prior to their integration into programming systems and middleware.
Mascolo, Cecilia; Picco, Gian Pietro; and Roman, Gruia-Catalin, "CodeWeave: Exploring Fine-Grained Mobility of Code" Report Number: WUCS-00-02 (2000). All Computer Science and Engineering Research.