Building a whole-program type analysis in Eclipse. - Sharp, Mariana; Sawin, Jason; Rountev, Atanas (2005)