Next: 3.1 Composition Up: Developing Provably Correct Programs Previous: 2.2 Formal Framework

3 Customization of Components

In this section, we discuss the problems caused by composition, inheritance, and genericity. We give ideas for their solution and present directions for further work in this area.

3.1 Composition
- 3.1.1 Proving Properties of Imported Code (Obligation 2)
  - Method Specifications
  - Semantical Constraints
- 3.1.2 Reducing Proof Obligations for New Code (Obligation 3)
  - Behavioral Subtyping
  - Semantic Modules
3.2 Code Inheritance and Genericity

Peter Mueller and Arnd Poetzsch-Heffter
Sept. 2, 1997