Systems and methods of representing and extracting type information from typeless and dynamically-typed programming languages are provided. These systems and methods can be immune to source file edits and the order in which those edits are executed. Deriving type information from these languages allows...http://www.google.com/patents/US7958493?utm_source=gb-gplus-sharePatent US7958493 - Type inference system and method
