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

Full description

Bibliographic Details
Other Authors: Black, Andrew (Editor)
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
LEADER 04720nmm a2200397 u 4500
001 EB000374983
003 EBX01000000000000000228035
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540317258 
100 1 |a Black, Andrew  |e [editor] 
245 0 0 |a ECOOP 2005 - Object-Oriented Programming  |h Elektronische Ressource  |b 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings  |c edited by Andrew Black 
250 |a 1st ed. 2005 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2005, 2005 
300 |a XVII, 631 p  |b online resource 
505 0 |a 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 
653 |a Computer Communication Networks 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Computer programming 
653 |a Software Engineering 
653 |a Electronic data processing / Management 
653 |a Computer networks  
653 |a IT Operations 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Programming and Software Engineering 
028 5 0 |a 10.1007/11531142 
856 4 0 |u https://doi.org/10.1007/11531142?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.11 
520 |a 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 of proceedings such as this with a note that emphasizes the importance of the conference in its respective ?eld. Although such self-evaluations should always be taken with a large grain of salt, ECOOP is undisputedly the pre- inent conference on object-orientation outside of the United States. In its turn, object-orientationis today’s principaltechnology not only for programming,but also for design, analysisand speci?cation of softwaresystems. As a consequence, ECOOP has expanded far beyond its roots in programming to encompass all of these areas of research—whichis why ECOOP has remained such an interesting conference. But ECOOP is more than an interesting conference. It is the nucleus of a technical and academic community, a community whose goals are the creation and dissemination of new knowledge. Chance meetings at ECOOP have helped to spawn collaborations that span the boundaries of our many subdisciplines, bring together researchers and practitioners, cross cultures, and reach from one side of the world to the other. The ubiquity of fast electronic communication has made maintaining these collaborations easier than we would have believed possible only a dozen years ago. But the role of conferences like ECOOP in establishing collaborations has not diminished