ECOOP 2009 – Object-Oriented Programming

23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

Editors:

ISBN: 978-3-642-03012-3 (Print) 978-3-642-03013-0 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Keynote 1

    1. No Access

      Book Chapter

      Pages 1-1

      Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither

  3. Types, Frameworks and Modelling

    1. No Access

      Book Chapter

      Pages 2-26

      Coinductive Type Systems for Object-Oriented Languages

    2. No Access

      Book Chapter

      Pages 27-51

      Checking Framework Interactions with Relationships

    3. No Access

      Book Chapter

      Pages 52-76

      COPE - Automating Coupled Evolution of Metamodels and Models

  4. Aliasing and Transactions

    1. No Access

      Book Chapter

      Pages 77-97

      Making Sense of Large Heaps

    2. No Access

      Book Chapter

      Pages 98-122

      Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis

    3. No Access

      Book Chapter

      Pages 123-147

      NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems

  5. Access Control and Verification

    1. No Access

      Book Chapter

      Pages 148-172

      Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic

    2. No Access

      Book Chapter

      Pages 173-194

      Fine-Grained Access Control with Object-Sensitive Roles

    3. No Access

      Book Chapter

      Pages 195-219

      Practical API Protocol Checking with Access Permissions

  6. Modularity

    1. No Access

      Book Chapter

      Pages 220-243

      Adding State and Visibility Control to Traits Using Lexical Nesting

    2. No Access

      Book Chapter

      Pages 244-268

      Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes

    3. No Access

      Book Chapter

      Pages 269-293

      Modular Visitor Components

  7. Mining and Extracting

    1. No Access

      Book Chapter

      Pages 294-317

      Debugging Method Names

    2. No Access

      Book Chapter

      Pages 318-343

      MAPO: Mining and Recommending API Usage Patterns

    3. No Access

      Book Chapter

      Pages 344-368

      Supporting Framework Use via Automatically Extracted Concept-Implementation Templates

  8. Refactoring

    1. No Access

      Book Chapter

      Pages 369-393

      Stepping Stones over the Refactoring Rubicon

    2. No Access

      Book Chapter

      Pages 394-418

      Program Metamorphosis

    3. No Access

      Book Chapter

      Pages 419-443

      From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility

  9. Keynote 2

    1. No Access

      Book Chapter

      Pages 444-444

      Java on 1000 Cores: Tales of Hardware/Software Co-design

previous Page of 2