03584oam 2200553 450 991048422740332120220131224630.03-540-73589-510.1007/978-3-540-73589-2(CKB)1000000000490528(SSID)ssj0000317342(PQKBManifestationID)11231253(PQKBTitleCode)TC0000317342(PQKBWorkID)10293406(PQKB)11388598(DE-He213)978-3-540-73589-2(MiAaPQ)EBC3063366(MiAaPQ)EBC6426749(PPN)123163706(EXLCZ)99100000000049052820210604d2007 uy 0engurnn#008mamaatxtccrEcoop - object-oriented programming 21st European conference, Berlin, Germany, July 30 - August 3, 2007, proceedings /edited by Erik Ernst1st ed. 2007.Berlin, Germany :Springer,[2007]©20071 online resource (XIII, 625 p.)Programming and Software Engineering ;4609Includes index.3-540-73588-7 Includes bibliographical references and index.Invited Talk -- Erlang – Software for a Concurrent World -- Types -- Gradual Typing for Objects -- Generic Universe Types -- Declarative Object Identity Using Relation Types -- Runtime Implementation -- Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines -- Generational Real-Time Garbage Collection -- AS-GC: An Efficient Generational Garbage Collector for Java Application Servers -- Empirical Studies -- Exception Handling: A Field Study in Java and .NET -- On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study -- Dahl-Nygaard Prize Invited Talk -- An Accidental Simula User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default in Java: Alleviating the Nullity Annotation Burden -- Efficiently Generating Structurally Complex Inputs with Thousands of Objects -- Language Design -- Matching Objects with Patterns -- DirectFlow: A Domain-Specific Language for Information-Flow Systems -- A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships -- Inheritance and Derivation -- JavaGI: Generalized Interfaces for Java -- Metaprogramming with Traits -- Morphing: Safely Shaping a Class in the Image of Others -- A Higher Abstraction Level Using First-Class Inheritance Relations -- Dahl-Nygaard Prize Invited Talk -- Assuring Object-Oriented Architecture -- Aspects -- MAO: Ownership and Effects for More Effective Reasoning About Aspects -- Joinpoint Inference from Behavioral Specification to Implementation -- A Machine Model for Aspect-Oriented Programming -- A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring -- Language About Language -- Tracking Linear and Affine Resources with Java(X) -- Attribute Grammar-Based Language Extensions for Java -- Metamodel Adaptation and Model Co-adaptation.Programming and Software Engineering ;4609Object-oriented methods (Computer science)Object-oriented methods (Computer science)005.117Ernst ErikECOOP 2007MiAaPQMiAaPQUtOrBLWBOOK9910484227403321Ecoop - object-oriented programming2550643UNINA