ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Black, Andrew P. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3586
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Management information systems.; Computer Science.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Computer Communication Networks.; Management of Computing and Information Systems.

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...

Πίνακας περιεχομένων:

• 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.