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

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

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

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Black, Andrew (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Programming and Software Engineering ; 3586
Springer eBook Collection.
Subjects:
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computer communication systems.
Management information systems.
Computer science.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of 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.

Similar Items