【圖書簡介】 在線閱讀本書This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.
【本書目錄】 Keynote Speech Language, Objects, and Intentionality Sharing and Encapsulation Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only. 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 Reflection and Concurrency A Bytecode Translator for Distributed Execution of "Legacy" Java Software Reflections on MOPs, Components, and Java Security The Optimistic Readers Transformation Invited Talk Language Design Testing and Design Author Index