Functional Programming.
program transformations to simplify the hard ases. We have implemented this algorithm in the Soot framework. Our experimental results show that all of the 17,000 methods used in our tests were suessfully typed, 99.8% of those required only the rst stage, 0.2% required the seond stage, and no