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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ernst, Erik (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Programming and Software Engineering, 4609
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares