ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ernst, Erik (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4609
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Management information systems.; Computer Science.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Computer Communication Networks.; Management of Computing and Information Systems.

Πίνακας περιεχομένων:

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