Support for Maintaining Object-oriented Programs Support for Maintaining Object-oriented Programs

In this paper, we explain how inheritance and dynamic binding make object-oriented programs diicult to maintain, and we give a concrete example of the problems that arise. We show that the diiculty lies in the fact that conventional tools are poorly suited for work with object-oriented languages, and we argue that semantics-based tools are essential for… (More)