Ionic Types

  • Simon Dobson
  • Brian Matthews
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1850)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Simon Dobson
    • 1
  • Brian Matthews
    • 2
  1. 1.Department of Computer ScienceTrinity CollegeDublin
  2. 2.Information Technology DepartmentCLRC Rutherford Appleton LaboratoryOxfordshireUK

Personalised recommendations