Sciweavers

Share
APLAS
2006
ACM

A Modal Language for the Safety of Mobile Values

8 years 9 months ago
A Modal Language for the Safety of Mobile Values
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.
Sungwoo Park
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where APLAS
Authors Sungwoo Park
Comments (0)
books