ECOOP 2004 - Object-Oriented Programming 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings

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 ref...

Full description

Bibliographic Details
Other Authors: Odersky, Martin (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 04765nmm a2200397 u 4500
001 EB000652319
003 EBX01000000000000000505401
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540248514 
100 1 |a Odersky, Martin  |e [editor] 
245 0 0 |a ECOOP 2004 - Object-Oriented Programming  |h Elektronische Ressource  |b 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings  |c edited by Martin Odersky 
250 |a 1st ed. 2004 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2004, 2004 
300 |a XIV, 614 p  |b online resource 
505 0 |a Encapsulation -- Ownership Domains: Separating Aliasing Policy from Mechanism -- Composable Encapsulation Policies -- Program Analysis -- Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability -- Efficiently Verifiable Escape Analysis -- Pointer Analysis in the Presence of Dynamic Class Loading -- Software Engineering -- The Expression Problem Revisited -- Rewritable Reference Attributed Grammars -- Finding and Removing Performance Bottlenecks in Large Systems -- Aspects -- Programming with Crosscutting Effective Views -- AspectJ2EE = AOP + J2EE -- Use Case Level Pointcuts -- Invited Talk 1 -- Functional Objects -- Middleware -- Inheritance-Inspired Interface Versioning for CORBA -- A Middleware Framework for the Persistence and Querying of Java Objects -- Sequential Object Monitors -- Increasing Concurrency in Databases Using Program Analysis -- Types -- Semantic Casts: Contracts and Structural Subtyping in a Nominal World -- LOOJ: Weaving LOOM into Java -- Modules with Interfaces for Dynamic Linking and Communication -- Verification -- Early Identification of Incompatibilities in Multi-component Upgrades -- Typestates for Objects -- Object Invariants in Dynamic Contexts -- Invited Talk 2 -- Rich Interfaces for Software Modules -- Systems -- Transactional Monitors for Concurrent Objects -- Adaptive Tuning of Reserved Space in an Appel Collector -- Lock Reservation for Java Reconsidered -- Customization of Java Library Classes Using Type Constraints and Profile Information 
653 |a Computer Communication Networks 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Computers and Society 
653 |a Software engineering 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Computer programming 
653 |a Software Engineering 
653 |a Computer networks  
653 |a Computers and civilization 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/b98195 
856 4 0 |u https://doi.org/10.1007/b98195?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.11 
520 |a 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 andabstracts are also included in these proceedings