Paper Info
Title
MobileML: A Programming Language for Mobile Computation
Abstract
This paper describes a language which facilitates programming for mobile computation i.e., computation in which code migrates and continues to run across network nodes. Such languages allow us to develop novel distributed applications (such as workflow systems, flexible software distribution, and intelligent search systems) more easily and efficiently. However, many of existing programming language systems are often insufficient because they lack the support for concise description of migration and formal models for reasoning about program's properties including type safety and security. Our goal is to construct a programming language system which adequately supports mobile computation on a solid theoretical basis. As an attempt to achieve that, we have designed a programming language based on ML which has well-founded theoretical bases. The features of this language include: transparent migration, dynamic linking with distributed resources by means of contexts, and semantics consistent with the original ML. Especially, our notion of contexts allows us to succinctly describe the interaction between mobile code and environments at destination nodes. We briefly explain a simple semantic model based on Plotkin's λυ-calculus and tuple spaces. Though our model currently guarantees only type soundness, we believe that theoretical results such as prevention of security violation (of Heintze and Rieckes' SLam Calculus) can be incorporated into our system rather easily. We have also implemented an experimental interpreter system as a first step of the full-fledged language system.
Year
Venue
Keywords
2000
COORDINATION
intelligent search system,workflow system,full-fledged language system,experimental interpreter system,theoretical base,mobile computation,programming language,mobile code,programming language system,solid theoretical basis,mobile computer,distributed application
Field
DocType
Volume
Specification language,Programming language,Programming paradigm,Computer science,Theoretical computer science,Very high-level programming language,High-level programming language,First-generation programming language,Low-level programming language,Programming language implementation,Language primitive,Distributed computing
Conference
1906
ISSN
ISBN
Citations 
0302-9743
3-540-41020-1
3
PageRank 
References 
Authors
0.38
17
2
Name
Order
Citations
PageRank
Masatomo Hashimoto1685.97
Akinori Yonezawa21613226.97