CODEWEAVE: Exploring Fine-Grained Mobility of Code

er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits significant variability. Units of mobility that are both finer and coarser grained than the unit of execution are examined. To accomplish this, we take the extreme view that every line of code and every variable declaration are potentially mobile, i.e., it may be duplicated or moved from one program context to another on the same host or across the network. We also assume that complex code assemblies may move with equal ease. The result is CODEWEAVE, a model that shows how to develop new forms of code mobility, assign them precise meaning, and facilitate formal verification of programs employing them. The design of CODEWEAVE relies greatly on Mobile UNITY, a notation and proof logic for mobile computing. Mobile UNITY computational milieu for examining a wide range of constructs and semantic alternatives in a clea...

• Type: Journal
• Year: 2004
• Where: ASE
• Authors: Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman
• Keywords: ASE 2004, Code, Code Mobility, Mobile UNITY