This chapter extends the notion of subtyping
to include behavioral properties.
It discusses the interpretation of types
as behavior and introduces an assertion logic
for verifying behavioral properties.
A brief introduction is given to the
operational semantics underlying the
verification logic.
We then look at the interpretation
of objects as behavioral types,
and present guidelines for designing
subtypes satisfying behavioral constraints.
Finally, we discuss what formal means we have
available to specify the behavioral
properties of a collection of related
objects.
There is still a need to incorporate the theoretical
insights with respect to the semantics and proof theory
of object-oriented languages in practical development
methods.
As assignments that hint towards the integration of theory
one may think of
Naturally, for student assignments an exploratory
study is probably the most one can ask for.
As a research project one may think
of
that allows for an easy transition from a specification
to an implementation in some object-oriented language.
Hints
Project assignments
Comments
[]
readme
course
preface
1
2
3
4
5
6
7
8
9
10
11
12
appendix
lectures
resources

draft version 0.1 (15/7/2001)