|
Torben Amtoft, Henning Makholm, and J. B. Wells
PolyA: True type polymorphism for Mobile
Ambients
Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., February 2004
A shorter successor is [24]
Previous type systems for mobility calculi (the
original Mobile Ambients, its variants and
descendants, e.g., Boxed Ambients and Safe Ambients,
and other related systems) offer little support for
generic mobile agents. Previous systems either do
not handle communication at all or globally assign
fixed communication types to ambient names that do
not change as an ambient moves around or interacts
with other ambients. This makes it hard to type
examples such as a “messenger'' ambient that uses
communication primitives to collect a message of
non-predetermined type and deliver it to a
non-predetermined destination.
In contrast, we present our new type system
PolyA. Instead of assigning communication
types to ambient names, PolyA assigns a
type to each process P that gives upper bounds on
(1) the possible ambient nesting shapes of any
process P' to which P can evolve, (2) the values
that may be communicated at each location, and (3)
the capabilities that can be used at each
location. Because PolyA can type generic
mobile agents, we believe PolyA is the
first type system for a mobility calculus that
provides type polymorphism comparable in power to
polymorphic type systems for the
lambda-calculus. PolyA is easily
extended to ambient calculus variants. A restriction
of PolyA has principal typings.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.61
Copyright notice: The documents contained
in these pages are included by the contributing authors as a means to
ensure timely dissemination of scholarly and technical work on a
non-commercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that
they have offered their works here electronically. It is understood that all persons copying this information will
adhere to the terms and constraints invoked by each author's
copyright. These works
may not be reposted without the explicit permission of the copyright
holder.
If you experience problems downloading any of the files above,
it is most likely because your browser does not handle compressed
files correctly.
In particular, Netscape might save the file in the compressed
gz-format with extension .ps or
.pdf (indicating postscript or PDF, resp.). You can work around this by saving the file,
renaming it to .ps.gz or .pdf.gz, and then
uncrompress it.
|
