Semantics and Verification of Object-Oriented Languages


NII Shonan Meeting Seminar 063

Vasileios Koutavas: Reasoning about Class Behavior using the Bisimulation Technique

In this talk we will discuss a proof technique for reasoning about contextual equivalence of classes in an imperative subset of Java. The technique is based on environmental bisimulations and is sound and complete with respect to contextual equivalence. We will see how inheritance and downcasting affect the technique, and explore example equivalent and inequivalent classes.


Category: Talks


Comments are closed.