Object-oriented programming with induction

Object systems employing inheritance exclusively can suffer various difficulties when mapping real world object relations. This paper presents induction, as a universal software engineering methodology, to complement inheritance. We found out that a special form of induction, called virtual induction, is a powerful mechanism for abstracting and reusing existing code and can be well blended with inheritance. A C++ implementation of the mechanism is also discussed.