The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33897
Record Status Checked
Record Id 33897
Title Ionic Types
Abstract Mobile code systems allow objects to be moved between environments, potentially changing the behaviour of the object through covert dynamic re-linking of its underlying base classes. We describe a system of ionic object types which allow these effects to be captured and analysed within a standard object type framework. We show how the ionic types improve the modeling of mobile code fragments. As a side benefit we derive a simple and type-safe representation of method delegation.
Organisation CCLRC , BITD
Keywords object calculi , type systems , delegation , mobile code , OO Modelling , agent systems
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings Lecture Notes in Computer Science. Presented at: 14th European Conference on Object-Oriented Programming (ECOOP 2000), Cannes, France, June 2000. ecoop00.ps 2000