Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Flow-sensitive Type Systems and the Ambient Torben Amtoft
 

Summary: Flow-sensitive Type Systems and the Ambient
Calculus
Torben Amtoft
Department of Computing and Information Sciences
Kansas State University
Manhattan KS 66506, USA
March 31, 2007
Abstract
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