ECOOP - Object-Oriented Programming 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings /
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.
QA76.6-76.66
005.11
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.
QA76.6-76.66
005.11