<p>ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully
ECOOP 2004 β Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings
β Scribed by Jonathan Aldrich, Craig Chambers (auth.), Martin Odersky (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2004
- Tongue
- English
- Leaves
- 627
- Series
- Lecture Notes in Computer Science 3086
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14β18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software development. Object-oriented technology has come of age; it is now the commonly established method for most software projects. However, an - panding ?eld of applications and new technological challenges provide a strong demand for research in foundations, design and programming methods, as well as implementation techniques. There is also an increasing interest in the in- gration of object-orientation with other software development techniques. We anticipate therefore that object-oriented programming will be a fruitful subject of research for many years to come. Thisyear,theprogramcommitteereceived132submissions,ofwhich25were acceptedforpublicationafterathoroughreviewingprocess.Everypaperreceived atleast4reviews.Paperswereevaluatedbasedonrelevance,signi?cance,clarity, originality, and correctness. The topics covered include: programming concepts, program analysis, software engineering, aspects and components, middleware, veri?cation, systems and implementation techniques. These were complemented by two invited talks, from Matthias Felleisen and Tom Henzinger. Their titles and abstracts are also included in these proceedings.
β¦ Table of Contents
Front Matter....Pages -
Ownership Domains: Separating Aliasing Policy from Mechanism....Pages 1-25
Composable Encapsulation Policies....Pages 26-50
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability....Pages 51-74
Efficiently Verifiable Escape Analysis....Pages 75-95
Pointer Analysis in the Presence of Dynamic Class Loading....Pages 96-122
The Expression Problem Revisited....Pages 123-146
Rewritable Reference Attributed Grammars....Pages 147-171
Finding and Removing Performance Bottlenecks in Large Systems....Pages 172-196
Programming with Crosscutting Effective Views....Pages 197-220
AspectJ2EE = AOP + J2EE....Pages 221-245
Use Case Level Pointcuts....Pages 246-268
Functional Objects....Pages 269-269
Inheritance-Inspired Interface Versioning for CORBA....Pages 270-291
A Middleware Framework for the Persistence and Querying of Java Objects....Pages 292-316
Sequential Object Monitors....Pages 317-341
Increasing Concurrency in Databases Using Program Analysis....Pages 342-364
Semantic Casts: Contracts and Structural Subtyping in a Nominal World....Pages 365-389
LOOJ: Weaving LOOM into Java....Pages 390-414
Modules with Interfaces for Dynamic Linking and Communication....Pages 415-439
Early Identification of Incompatibilities in Multi-component Upgrades....Pages 440-464
Typestates for Objects....Pages 465-490
Object Invariants in Dynamic Contexts....Pages 491-515
Rich Interfaces for Software Modules....Pages 516-517
Transactional Monitors for Concurrent Objects....Pages 518-541
Adaptive Tuning of Reserved Space in an Appel Collector....Pages 542-558
Lock Reservation for Java Reconsidered....Pages 559-583
Customization of Java Library Classes Using Type Constraints and Profile Information....Pages 584-608
Back Matter....Pages -
β¦ Subjects
Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks; Computers and Society
π SIMILAR VOLUMES
<p>This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.<BR>The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. Th
<p>This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.<BR>The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. Th
<p>This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, hel
<p>This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, hel
<p>This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, hel