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