ECOOP 2003 – Object-Oriented Programming

17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

Editors:

ISBN: 978-3-540-40531-3 (Print) 978-3-540-45070-2 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talk 1

    1. No Access

      Book Chapter

      Pages 1-1

      Built-in Object Security

  3. Aspects and Components

    1. No Access

      Book Chapter

      Pages 2-28

      Modeling Crosscutting in Aspect-Oriented Mechanisms

    2. No Access

      Book Chapter

      Pages 29-53

      Spontaneous Container Services

    3. No Access

      Book Chapter

      Pages 54-73

      A Calculus of Untyped Aspect-Oriented Programs

  4. Patterns, Architecture, and Collaboration

    1. No Access

      Book Chapter

      Pages 74-102

      Language Support for Connector Abstractions

    2. No Access

      Book Chapter

      Pages 103-125

      Walkabout Revisited: The Runabout

    3. No Access

      Book Chapter

      Pages 126-150

      MX: Mobile Object Exchange for Collaborative Applications

  5. Types

    1. No Access

      Book Chapter

      Pages 151-175

      Regular Object Types

    2. No Access

      Book Chapter

      Pages 176-200

      External Uniqueness Is Unique Enough

    3. No Access

      Book Chapter

      Pages 201-224

      A Nominal Theory of Objects with Dependent Types

  6. Invited Talk 2

    1. No Access

      Book Chapter

      Pages 225-247

      Open APIs for Embedded Security

  7. Modeling

    1. No Access

      Book Chapter

      Pages 248-274

      Traits: Composable Units of Behaviour

    2. No Access

      Book Chapter

      Pages 275-302

      A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

    3. No Access

      Book Chapter

      Pages 303-328

      Higher-Order Hierarchies

  8. Algorithms, Optimization and Runtimes

    1. No Access

      Book Chapter

      Pages 329-350

      Two-Dimensional Bi-directional Object Layout

    2. No Access

      Book Chapter

      Pages 351-377

      LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications

    3. No Access

      Book Chapter

      Pages 378-404

      Java Subtype Tests in Real-Time

  9. Invited Talk 3

    1. No Access

      Book Chapter

      Pages 405-430

      Growing XQuery

  10. Formal Techniques and Methodology

    1. No Access

      Book Chapter

      Pages 431-456

      Discovering Algebraic Specifications from Java Classes

    2. No Access

      Book Chapter

      Pages 457-482

      A Refinement Algebra for Object-Oriented Programming

  11. Back Matter

    Pages -

previous Page of 2