An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs

The popularity of object-oriented (OO) programming has been on the rise. Unlike the procedural programming approach, OO programming provides a natural facility for modeling and decomposing a problem into self-contained entities called objects. The objects interact with each other through a message passing mechanism. At different program-points, the objects assume different implementation (or concrete) types, which are sets of classes or built-in types.