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

Description

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006. The 20 revised full papers, presented together with 3 keynote papers were carefully reviewed and selected from 162 submissions. 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. In addition there are 5 retrospective and prospective papers from a special 20th anniversary session for the ECOOP conference series. Front Matter....Pages - Design Patterns – 15 Years Later....Pages 1-1 codeQuest: Scalable Source Code Queries with Datalog....Pages 2-27 Efficient Object Querying for Java....Pages 28-49 Automatic Prefetching by Traversal Profiling in Object Persistence Architectures....Pages 50-73 The Runtime Structure of Object Ownership....Pages 74-98 On Ownership and Accessibility....Pages 99-123 Scoped Types and Aspects for Real-Time Java....Pages 124-147 Transparently Reconciling Transactions with Locking for Java Synchronization....Pages 148-173 Object Technology – A Grand Narrative?....Pages 174-179 Peak Objects....Pages 180-185 From ECOOP’87 to ECOOP 2006 and Beyond....Pages 186-191 The Continuing Quest for Abstraction....Pages 192-197 Early Concurrent/Mobile Objects....Pages 198-202 Turning the Network into a Database with Active XML....Pages 203-205 SuperGlue: Component Programming with Object-Oriented Signals....Pages 206-229 Ambient-Oriented Programming in AmbientTalk....Pages 230-254 Responders: Language Support for Interactive Applications....Pages 255-278 Variance and Generalized Constraints for C $^{\sharp}$ Generics....Pages 279-303 A Semantic Analysis of C++ Templates....Pages 304-327 Session Types for Object-Oriented Languages....Pages 328-352 Parameterized Modules for Classes and Extensible Functions....Pages 353-378 The Closing of the Frontier....Pages 379-379 Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking....Pages 380-403 Automated Detection of Refactorings in Evolving Components....Pages 404-428 Modeling Runtime Behavior in Framework-Based Applications....Pages 429-451 Modular Software Upgrades for Distributed Systems....Pages 452-476 Demeter Interfaces: Adaptive Programming Without Surprises....Pages 477-500 Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts....Pages 501-525 Back Matter....Pages -