Promotional Information

Springer Book Archives

Table of Contents

Keynote Speech.- Language, Objects, and Intentionality.- Sharing and Encapsulation.- Capabilities for Sharing.- Sealing, Encapsulation, and Mutablility.- Simple Ownership Types for Object Containment.- Type Inference and Static Analysis.- Distinctness and Sharing Domains for Static Analysis of Java Programs.- Precise Constraint-Based Type Inference for Java.- Language Design.- CCC: User-Defined Object Structure in C.- Fickle: Dynamic Object Re-classification.- Invited Talk.- Scripting .NET Using Mondrian.- Implementation Techniques.- A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.- On the Usefulness of Liveness for Garbage Collection and Leak Detection.- Concurrent Cycle Collection in Reference Counted Systems.- A Bytecode Translator for Distributed Execution of “Legacy” Java Software.- A Bytecode Translator for Distributed Execution of “Legacy” Java Software.- Reflections on MOP s, Components, and Java Security.- Reflections on MOP s, Components, and Java Security.- The Optimistic Readers Transformation.- The Optimistic Readers Transformation.- Invited Talk.- People and the Limits of Methodology.- Language Design.- Family Polymorphism.- An Overview of AspectJ.- True Modules for Java-like Languages.- Testing and Design.- Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies.- Quality and Understandability of Use Case Models.