Checking Behavioural Subtypes via Refinement

  title={Checking Behavioural Subtypes via Refinement},
  author={Heike Wehrheim},
Behavioural subtyping is concerned with the question of whether one class is behaviourally consistent with another class. The word “behaviour” in this context usually refers to the semanticsof methods, typically given by preand postconditions. In this paper, we will use t his erm in a more specific way, referring to the dynamicbehaviour of objects in time… CONTINUE READING