Cover Image

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

Corporate Author: SpringerLink (Online service)
Other Authors: Ernst, Erik. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Programming and Software Engineering ; 4609
Subjects:
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computer communication systems.
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.
Online Access:https://doi.org/10.1007/978-3-540-73589-2
Table of Contents:
  • 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.

Similar Items