Asynchronous Interfaces in Statically Typed OO

Contents

• Abstract
• Introduction
• Context
  • Programming-in-the-large
    • Distribution
    • Incremental Development
  • The Statically Typed Strategy
    • Open-closed modules
    • Statically typed object orientation
      1. Scoping the responsibilities
      2. Checking behaviour
      3. Assertion inference
• Approaches to Distribution
  • The common approaches to distribution
    • Explicit distribution
    • Synchronization
      • Blocking
      • Locking
      • Penalties for incremental development
    • Message passing
  • The Operation Metaphor
    • Goals
    • Operations as virtual threads of control
    • Operation interfaces
      • Request broker
      • Initiator
      • Other operations
    • Genericity versus classification
    • Type nesting
    • Non determination
• Conclusion
• References
• Related Items

Related Items

• Referee comments