Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

2000-01-01

Filename

WUCS-00-02.PDF

DOI:

10.7936/K77W69F6

Technical Report Number

WUCS-00-02

Abstract

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.

Comments

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

Download

Share

COinS