ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / edited by Andrew Black.

Format:

Book

Contributor:

Black, Andrew, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 3586.

Programming and Software Engineering ; 3586

Language:

English

Subjects (All):

Computer programming.

Software engineering.

Programming languages (Electronic computers).

Computer logic.

Computer networks.

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.

Local Subjects:

Programming Techniques.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Computer Communication Networks.

Management of Computing and Information Systems.

Physical Description:

1 online resource (XVII, 631 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-540-31725-8

9783540317258

Access Restriction:

Restricted for use by site license.