Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Flow-sensitive Type Systems and the Ambient Torben Amtoft

Summary: Flow-sensitive Type Systems and the Ambient
Torben Amtoft
Department of Computing and Information Sciences
Kansas State University
Manhattan KS 66506, USA
March 31, 2007
The Ambient Calculus was developed by Cardelli and Gordon as a
formal framework to study issues of mobility and migrant code. Numer-
ous analyses have been developed for numerous variants of that calculus.
We take up the challenge of developing, in a type-based setting, a rela-
tively precise "topology" analysis for the original version of the calculus.
To compensate for the lack of "co-capabilities" (an otherwise increasingly
popular extension), the analysis is flow-sensitive, with the actions of pro-
cesses being summarized by "behaviors".
A subject reduction property guarantees that for a well-typed pro-
cess, the location of any ambient is included in what is predicted by its
type; additionally it ensures that communicating subprocesses agree on
their "topic of conversation". Based on techniques borrowed from finite


Source: Amtoft, Torben - Department of Computing and Information Sciences, Kansas State University


Collections: Computer Technologies and Information Sciences