Using prototypical objects to implement shared behavior in object-oriented systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-oriented programming in the BETA programming language
Object-oriented programming in the BETA programming language
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Is the Java type system sound?
Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
A Theory of Objects
Design Issues in Mobile-Agent Programming Systems
IEEE Concurrency
Harissa: A Hybrid Approach to Java Execution
IEEE Software
Vanilla: An Open Language Framework
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Secrecy by Typing inSecurity Protocols
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Type-Safe Delegation for Run-Time Component Adaptation
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
| Hi-index | 0.00 |
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.