Title: A Static Type System for Detecting Potentially Transmissible Functions
The programming language Facile combines Standard ML with a model of
concurrency based on CCS and its higher-order and mobile extensions. The
"mobile agents" concept is supported by the facility of transmitting functions
across different sites.
I will consider a Facile-like language and will focus on the problem of
determining statically whether a function is potentially transmissible at
run-time. I will discuss my preliminary ideas of a type system enhanced with
effects and a control flow analysis component.
I have recently presented this work in the Mobile Objects Systems Workshop
held in association with ECOOP 99. If the time permits, I intend to give a
brief report on this workshop as well.
Last modified: Mon Jun 21 13:01:44 BST 1999