Improving refactoring tools in Smalltalk using static type inference
We built a prototype of a static type inferencer for Smalltalk. The type information reveals polymorphic usage of messages. We use this information to rename only relevant references to overloaded method names. Complexity and slow performance hampers the application in the general case. The evaluation estimates that it can be applied in 23% to 47% of the cases.
refactoring smalltalk static type inference type inference