Cuprins
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.- Direct Flow: A Domain-Specific Language for Information-Flow Systems.- A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships.- Inheritance and Derivation.- Java GI: 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.
Mai multe cărți electronice de la același autor (i) / Editor
16.580 Ebooks din această categorie
