Mobile Computation with Functions / Edition 1

by Zeliha Dilsun Kirli

Overview

Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and support code mobility through the mobility of functions between remote sites. It aims to highlight the benefits of using languages of this family in dealing with the challenges of mobile computation. The possibility of exploiting existing static analysis techniques suggests that having functions at the core of mobile code language is a particularly apt choice. A range of problems which have impact on the safety, security and performance are discussed. It is shown that types extended with effects and other annotations can capture a significant amount of information about the dynamic behavior of mobile functions, and offer solutions to the problems under investigation. This book includes a survey of the languages Concurrent ML, Facile and PLAN which inherit the strengths of the functional paradigm in the context of concurrent and distributed computation. The languages which are defined in the subsequent chapters have their roots in these languages.

Product Details

ISBN-13:	9781402070242
Publisher:	Springer US
Publication date:	04/30/2002
Series:	Advances in Information Security , #5
Edition description:	2002
Pages:	134
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

1 Towards Mobile Functions.- 2. Estimating Mobile Values.- 3. Distributed Call-Tracking.- 4. Confined Mobile Functions.- 5. Noninterference and Mobile Functions.- 6. Conclusions.- Appendices.- Selected Proof Cases.- 1 Selected proof cases from Chapter 3.- 2 Selected proof cases from Chapter 4.- 3 Selected proof cases from Chapter 5.

Editorial Reviews

Addresses the challenges of mobile computation in distributed networks with languages that use functions as the main programming abstraction and support code mobility through the transmission of functions between remote sites. Drawing from his PhD research, the author suggests the design of languages that are variations of Concurrent ML, Facile, and PLAN. The approach focuses on static type systems for predicting whether functions are used locally or may become mobile at runtime, and for controlling the flow of values in a system where users have different security levels. Annotation c. Book News, Inc., Portland, OR (booknews.com)