LEADER 06691nam 22008295 450 001 996466235403316 005 20200702164744.0 010 $a1-280-30810-9 010 $a9786610308101 010 $a3-540-24851-X 024 7 $a10.1007/b98195 035 $a(CKB)1000000000212425 035 $a(SSID)ssj0000143843 035 $a(PQKBManifestationID)11136796 035 $a(PQKBTitleCode)TC0000143843 035 $a(PQKBWorkID)10144347 035 $a(PQKB)10775338 035 $a(DE-He213)978-3-540-24851-4 035 $a(MiAaPQ)EBC3088353 035 $a(PPN)155233483 035 $a(EXLCZ)991000000000212425 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aECOOP 2004 - Object-Oriented Programming$b[electronic resource] $e18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings /$fedited by Martin Odersky 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XIV, 614 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3086 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22159-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aEncapsulation -- 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. 330 $aECOOP 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3086 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aComputer communication systems 606 $aComputers and civilization 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aComputer communication systems. 615 0$aComputers and civilization. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Communication Networks. 615 24$aComputers and Society. 676 $a005.1/1 702 $aOdersky$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aECOOP 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466235403316 996 $aECOOP 2004 - Object-Oriented Programming$91980350 997 $aUNISA