ECOOP - Object-Oriented Programming 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings / [electronic resource] :
edited by Erik Ernst.
- 1st ed. 2007.
- XIII, 625 p. online resource.
- Programming and Software Engineering, 4609 2945-9168 ; .
- Programming and Software Engineering, 4609 .
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 -- MetamodelAdaptation and Model Co-adaptation.
9783540735892
10.1007/978-3-540-73589-2 doi
Computer programming. Software engineering. Compilers (Computer programs). Computer science. Computer networks . Electronic data processing--Management. Programming Techniques. Software Engineering. Compilers and Interpreters. Computer Science Logic and Foundations of Programming. Computer Communication Networks. IT Operations.