19. ECOOP 2005: Glasgow, UK
Andrew P. Black (Ed.): ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-27992-X
Invited Talks
Bertrand Meyer: Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. 1-32
Gail C. Murphy, Mik Kersten, Martin P. Robillard, Davor Cubranic: The Emergent Structure of Development Tasks. 33-48
Java

Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller: Efficiently Refactoring Java Applications to Use Generic Libraries. 71-96
Laurent Daynès, Grzegorz Czajkowski: Sharing the Runtime Representation of Classes Across Class Loaders. 97-120
Aspects and Modularity

Jonathan Aldrich: Open Modules: Modular Reasoning About Advice. 144-168
Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook: Evaluating Support for Features in Advanced Modularization Technologies. 169-194
Gregor Kiczales, Mira Mezini: Separation of Concerns with Procedures, Annotations, Advice and Pointcuts. 195-213
Klaus Ostermann, Mira Mezini, Christoph Bockisch: Expressive Pointcuts for Increased Modularity. 214-240
Celina Gibbs, Chunjian Robin Liu, Yvonne Coady: Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace? 241-261
Language Design


Lee Salzman, Jonathan Aldrich: Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. 312-336
Brian Foote, Ralph E. Johnson, James Noble: Efficient Multimethods in a Single Dispatch Language. 337-361
Program Analysis
Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar: Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection. 362-386
Vitus S. W. Lam, Julian A. Padget: Consistency Checking of Statechart Diagrams of a Class Hierarchy. 412-427
Types
Christopher Anderson, Paola Giannini, Sophia Drossopoulou: Towards Type Inference for JavaScript. 428-452

Testing
Carlos Pacheco, Michael D. Ernst: Eclat: Automatic Generation and Classification of Test Inputs. 504-527
Valentin Dallmeier, Christian Lindig, Andreas Zeller: Lightweight Defect Localization for Java. 528-550
Concurrency
Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. 551-576
Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove: Derivation and Evaluation of Concurrent Collectors. 577-601
Amy Williams, William Thies, Michael D. Ernst: Static Deadlock Detection for Java Libraries. 602-629



