TY - BOOK AU - Ernst,Erik ED - SpringerLink (Online service) TI - ECOOP 2007 – Object-Oriented Programming: 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540735892 AV - QA76.6-76.66 U1 - 005.11 23 PY - 2007/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Logic design KW - Information Systems KW - Computer Science KW - Programming Techniques KW - Software Engineering KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs KW - Management of Computing and Information Systems N1 - 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 UR - http://dx.doi.org/10.1007/978-3-540-73589-2 ER -