Dynamic Type Inference to Support Object-Oriented Reenginerring in Smalltalk

Dynamic inference of abstract types

Proceedings of the 2006 international symposium on Software testing and analysis

Dynamic inference of static types for ruby

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Language-independent detection of object-oriented design patterns

Computer Languages, Systems and Structures

Refactoring support for Smalltalk using static type inference

Proceedings of the International Workshop on Smalltalk Technologies