Sciweavers

Share
ECOOP
2000
Springer

Ionic Types

11 years 11 months ago
Ionic Types
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Examples include dynamic delegation, mobile code and agent systems. Such systems exhibit properties which are not well-captured by current typing models. We describe a system of ionic object types which capture these effects and allow them to be analysed within a standard object type framework. We show how ionic types improve the modeling of various forms of dynamic object completion including certain aspects of security checking, delegation and method update, contrast them with other approaches to the same problems, and sketch a possible ionic extension to Java.
Simon A. Dobson, Brian Matthews
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where ECOOP
Authors Simon A. Dobson, Brian Matthews
Comments (0)
books