Mascolo, C.;
Picco, G.P.;
Roman, G.-C.;
(1999)
A fine-grained model for code mobility.
In: Nierstrasz, O. and Lemoine, M., (eds.)
Proceedings of 7th European Software Engineering Conference (ESEC/FSE 99).
(pp. pp. 39-56).
Springer Verlag
![[thumbnail of okfine]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
okfine Download (309kB) |
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 and unconstrained by compilation and performance considerations traditionally associated with programming language design. Incidental to our study is an evaluation of the expressive power of Mobile UNITY, a notation and proof logic for mobile computing.
| Type: | Proceedings paper |
|---|---|
| Title: | A fine-grained model for code mobility |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://www.springerlink.com/openurl.asp?genre=arti... |
| Language: | English |
| Additional information: | The original publication is available at http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=1687&spage=39 |
| URI: | https://discovery.ucl.ac.uk/id/eprint/790 |
Archive Staff Only
 |
View Item |
