ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
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...
Other Authors: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2005, 2005
|
Edition: | 1st ed. 2005 |
Series: | Programming and Software Engineering
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Invited Talks
- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
- The Emergent Structure of Development Tasks
- Java
- Loosely-Separated “Sister” Namespaces in Java
- Efficiently Refactoring Java Applications to Use Generic Libraries
- Sharing the Runtime Representation of Classes Across Class Loaders
- Aspects and Modularity
- Aspect-Oriented Programming Beyond Dependency Injection
- Open Modules: Modular Reasoning About Advice
- Evaluating Support for Features in Advanced Modularization Technologies
- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts
- Expressive Pointcuts for Increased Modularity
- Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace?
- Language Design
- First-Class Relationships in an Object-Oriented Language
- The Essence of Data Access in C?
- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
- Efficient Multimethods in a Single Dispatch Language
- Program Analysis
- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
- State Based Ownership, Reentrance, and Encapsulation
- Consistency Checking of Statechart Diagrams of a Class Hierarchy
- Types
- Towards Type Inference for JavaScript
- Chai: Traits for Java-Like Languages
- A Type System for Reachability and Acyclicity
- Testing
- Eclat: Automatic Generation and Classification of Test Inputs
- Lightweight Defect Localization for Java
- Concurrency
- Extending JML for Modular Specification and Verification of Multi-threaded Programs
- Derivation and Evaluation of Concurrent Collectors
- Static Deadlock Detection for Java Libraries