ECOOP 2001 — Object-Oriented Programming: 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings

✍ Scribed by Charles Simonyi (auth.), Jørgen Lindskov Knudsen (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2001
• Tongue: English
• Leaves: 441
• Series: Lecture Notes in Computer Science 2072
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Language, Objects, and Intentionality....Pages 1-1
Capabilities for Sharing....Pages 2-27
Sealing, Encapsulation, and Mutablility....Pages 28-52
Simple Ownership Types for Object Containment....Pages 53-76
Distinctness and Sharing Domains for Static Analysis of Java Programs....Pages 77-98
Precise Constraint-Based Type Inference for Java....Pages 99-117
CCC: User-Defined Object Structure in C....Pages 118-129
Fickle : Dynamic Object Re-classification....Pages 130-149
Scripting .NET Using Mondrian....Pages 150-164
A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests....Pages 165-180
On the Usefulness of Liveness for Garbage Collection and Leak Detection....Pages 181-206
Concurrent Cycle Collection in Reference Counted Systems....Pages 207-235
A Bytecode Translator for Distributed Execution of “Legacy” Java Software....Pages 236-255
Reflections on MOP s, Components, and Java Security....Pages 256-274
The Optimistic Readers Transformation....Pages 275-301
People and the Limits of Methodology....Pages 302-302
Family Polymorphism....Pages 303-326
An Overview of AspectJ....Pages 327-354
True Modules for Java-like Languages....Pages 354-380
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies....Pages 381-401
Quality and Understandability of Use Case Models....Pages 402-428

✦ Subjects

Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; Business Information Systems