CMU-CS-05-124
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-05-124

A Modal Language for the Safety of Mobile Values

Sungwoo Park

April 2005

CMU-CS-05-124.ps
CMU-CS-05-124.pdf


Keywords: Modal language, distributed computation, type system


We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality [] which corresponds to necessity of modal logic. For the safety of mobile values, we introduce a new modality Ο which expresses that given code evaluates to a mobile value. We demonstrate the use of modal types with three communication constructs: remote evaluation, futures, and asynchronous channels. 57 pages


Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by reports@cs.cmu.edu