Titlebook: ECOOP 2001 - Object-Oriented Programming; 15th European Confer Jørgen Lindskov Knudsen Conference proceedings 2001 Springer-Verlag Berlin H

无辜

Infuriate

ADORN

硬化

An Overview of AspectJde. Simple extensions to existing Java development environments make it possible to browse the crosscutting structure of aspects in the same kind of way as one browses the inheritance structure of classes. Several examples show that AspectJ is powerful, and that programs written using it are easy to understand.

概观

Reflections on MOP s, Components, and Java Securitya component-based architecture with code from various origins having different levels of trust, we establish a set of rules for combining the permissions associated with each protection domain (integration, base-level, meta-level, etc.).

狂乱

Foundation Game Design with Flash liveness can significantly improve the effectiveness of a garbage collector or leak detector, the simpler liveness schemes are largely ineffective. One must analyze globals using an interprocedural analysis to get significant benefit..

BOOST

Conflagration

Sealing, Encapsulation, and Mutablilitye of the program region from which these attempts are made. Taking mostly an empirical approach, we study these concepts and their interaction in JAVA.We propose code analysis techniques, which, using the new sealing information, can help to identify variables as encapsulated, immutable, or both.

间谍活动

: Dynamic Object Re-classificationned with the requirement for a static and safe type system provided the main challenges. We develop a type and effect system for . and prove its soundness with respect to the operational semantics. In particular, even though objects may be re-classified across classes with different members, they will never attempt to access non-existing members.

innovation