A Fine-Grained Model for Code Mobility

Authors

Cecilia Mascolo, Washington University in St Louis
Gian Pietro Picco, Washington University in St. Louis
Gruia-Catalin Roman, Washington University in St. Louis

Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

1999-01-01

Filename

WUCS-99-07.PDF

Technical Report Number

WUCS-99-07

Abstract

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.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7445JQS

Recommended Citation

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.
https://openscholarship.wustl.edu/cse_research/485