ECOOP 2005
26 papers
- A Type System for Reachability and Acyclicity
- Aspect-Oriented Programming Beyond Dependency Injection
- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
- Chai: Traits for Java-Like Languages
- Consistency Checking of Statechart Diagrams of a Class Hierarchy
- Derivation and Evaluation of Concurrent Collectors
- Eclat: Automatic Generation and Classification of Test Inputs
- Efficient Multimethods in a Single Dispatch Language
- Efficiently Refactoring Java Applications to Use Generic Libraries
- Evaluating Support for Features in Advanced Modularization Technologies
- Expressive Pointcuts for Increased Modularity
- Extending JML for Modular Specification and Verification of Multi-threaded Programs
- First-Class Relationships in an Object-Oriented Language
- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
- Lightweight Defect Localization for Java
- Loosely-Separated "Sister" Namespaces in Java
- Open Modules: Modular Reasoning About Advice
- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts
- Sharing the Runtime Representation of Classes Across Class Loaders
- State Based Ownership, Reentrance, and Encapsulation
- Static Deadlock Detection for Java Libraries
- Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace?
- The Emergent Structure of Development Tasks
- The Essence of Data Access in Comega
- Towards Type Inference for JavaScript