The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed technical papers p- sented at the conference, and two invited papers. It is traditional to preface a volume of proceedings such as this with a note that emphasizes the importance of the conference in its respective ?eld. Although such self-evaluations should always be taken with a large grain of salt, ECOOP is undisputedly the pre- inent conference on object-orientation outside of the United States. In its turn, object-orientationis today’s principaltechnology not only for programming,but also for design, analysisand speci?cation of softwaresystems. As a consequence, ECOOP has expanded far beyond its roots in programming to encompass all of these areas of research—whichis why ECOOP has remained such an interesting conference. But ECOOP is more than an interesting conference. It is the nucleus of a technical and academic community, a community whose goals are the creation and dissemination of new knowledge. Chance meetings at ECOOP have helped to spawn collaborations that span the boundaries of our many subdisciplines, bring together researchers and practitioners, cross cultures, and reach from one side of the world to the other. The ubiquity of fast electronic communication has made maintaining these collaborations easier than we would have believed possible only a dozen years ago. But the role of conferences like ECOOP in establishing collaborations has not diminished.
Author(s): Bertrand Meyer (auth.), Andrew P. Black (eds.)
Series: Lecture Notes in Computer Science 3586 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 631
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; Management of Computing and Information Systems
Front Matter....Pages -
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming....Pages 1-32
The Emergent Structure of Development Tasks....Pages 33-48
Loosely-Separated “Sister” Namespaces in Java....Pages 49-70
Efficiently Refactoring Java Applications to Use Generic Libraries....Pages 71-96
Sharing the Runtime Representation of Classes Across Class Loaders....Pages 97-120
Aspect-Oriented Programming Beyond Dependency Injection....Pages 121-143
Open Modules: Modular Reasoning About Advice....Pages 144-168
Evaluating Support for Features in Advanced Modularization Technologies....Pages 169-194
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts....Pages 195-213
Expressive Pointcuts for Increased Modularity....Pages 214-240
Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace?....Pages 241-261
First-Class Relationships in an Object-Oriented Language....Pages 262-286
The Essence of Data Access in C ω ....Pages 287-311
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model....Pages 312-336
Efficient Multimethods in a Single Dispatch Language....Pages 337-361
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection....Pages 362-386
State Based Ownership, Reentrance, and Encapsulation....Pages 387-411
Consistency Checking of Statechart Diagrams of a Class Hierarchy....Pages 412-427
Towards Type Inference for JavaScript....Pages 428-452
Chai : Traits for Java-Like Languages....Pages 453-478
A Type System for Reachability and Acyclicity....Pages 479-503
Eclat: Automatic Generation and Classification of Test Inputs....Pages 504-527
Lightweight Defect Localization for Java....Pages 528-550
Extending JML for Modular Specification and Verification of Multi-threaded Programs....Pages 551-576
Derivation and Evaluation of Concurrent Collectors....Pages 577-601
Static Deadlock Detection for Java Libraries....Pages 602-629
Back Matter....Pages -
