ECOOP A

26 papers

YearTitle / Authors
2005A Type System for Reachability and Acyclicity.
Yi Lu, John Potter
2005Aspect-Oriented Programming Beyond Dependency Injection.
Shigeru Chiba, Rei Ishikawa
2005Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.
Bertrand Meyer
2005Consistency Checking of Statechart Diagrams of a Class Hierarchy.
Vitus S. W. Lam, Julian A. Padget
2005Derivation and Evaluation of Concurrent Collectors.
Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
2005ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings
Andrew P. Black
2005Eclat: Automatic Generation and Classification of Test Inputs.
Carlos Pacheco, Michael D. Ernst
2005Efficient Multimethods in a Single Dispatch Language.
Brian Foote, Ralph E. Johnson, James Noble
2005Efficiently Refactoring Java Applications to Use Generic Libraries.
Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller
2005Evaluating Support for Features in Advanced Modularization Technologies.
Roberto E. Lopez-Herrejon, Don S. Batory, William R. Cook
2005Expressive Pointcuts for Increased Modularity.
Klaus Ostermann, Mira Mezini, Christoph Bockisch
2005Extending JML for Modular Specification and Verification of Multi-threaded Programs.
Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
2005First-Class Relationships in an Object-Oriented Language.
Gavin M. Bierman, Alisdair Stuart Wren
2005Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection.
Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar
2005Lightweight Defect Localization for Java.
Valentin Dallmeier, Christian Lindig, Andreas Zeller
2005Loosely-Separated "Sister" Namespaces in Java.
Yoshiki Sato, Shigeru Chiba
2005Open Modules: Modular Reasoning About Advice.
Jonathan Aldrich
2005Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model.
Lee Salzman, Jonathan Aldrich
2005Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.
Gregor Kiczales, Mira Mezini
2005Sharing the Runtime Representation of Classes Across Class Loaders.
Laurent Daynès, Grzegorz Czajkowski
2005State Based Ownership, Reentrance, and Encapsulation.
Anindya Banerjee, David A. Naumann
2005Static Deadlock Detection for Java Libraries.
Amy L. Williams, William Thies, Michael D. Ernst
2005Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace?
Celina Gibbs, Chunjian Robin Liu, Yvonne Coady
2005The Emergent Structure of Development Tasks.
Gail C. Murphy, Mik Kersten, Martin P. Robillard, Davor Cubranic
2005The Essence of Data Access in C
Gavin M. Bierman, Erik Meijer, Wolfram Schulte
2005Towards Type Inference for JavaScript.
Christopher Anderson, Paola Giannini, Sophia Drossopoulou