ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006.

20 revised full papers, together with 3 keynote papers were carefully reviewed and selected. The papers are organized in topical sections on program query and persistence, ownership and concurrency, languages, type theory, types for object-oriented languages, tools, and modularity. 5 more papers celebrate the 20th anniversary of ECOOP.

Keynote.- Design Patterns – 15 Years Later.- Program Query and Persistence.- codeQuest: Scalable Source Code Queries with Datalog.- Efficient Object Querying for Java.- Automatic Prefetching by Traversal Profiling in Object Persistence Architectures.- Ownership and Concurrency.- The Runtime Structure of Object Ownership.- On Ownership and Accessibility.- Scoped Types and Aspects for Real-Time Java.- Transparently Reconciling Transactions with Locking for Java Synchronization.- Special 20th Anniversary Session.- Object Technology – A Grand Narrative?.- Peak Objects.- From ECOOP’87 to ECOOP 2006 and Beyond.- The Continuing Quest for Abstraction.- Early Concurrent/Mobile Objects.- Keynote.- Turning the Network into a Database with Active XML.- Languages.- SuperGlue: Component Programming with Object-Oriented Signals.- Ambient-Oriented Programming in AmbientTalk.- Responders: Language Support for Interactive Applications.- Type Theory.- Variance and Generalized Constraints for C Generics.- A Semantic Analysis of C++ Templates.- Session Types for Object-Oriented Languages.- Parameterized Modules for Classes and Extensible Functions.- Keynote.- The Closing of the Frontier.- Tools.- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.- Automated Detection of Refactorings in Evolving Components.- Modeling Runtime Behavior in Framework-Based Applications.- Modularity.- Modular Software Upgrades for Distributed Systems.- Demeter Interfaces: Adaptive Programming Without Surprises.- Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts.