Modeling object-oriented programming with reference type and dynamic binding

J. He,Z. Liu,X. Li

2003-01-01

Abstract:Abstract: provide a proper semantic basis essential for ensuring correctness and for the development oftools to support the use of formal techniques. We present an observation-oriented semanticsfor an object-oriented language with a rich variety of features, including subtype, visibility,inheritance, dynamic binding and polymorphism. The language is sufficient similar to Javaand C++ used in meaningful case studies and to capture some of the central difficulties. Ourapproach has mostly been...