Modular type-based reverse engineeing of parameterized types in java code

摘要

An analysis is provided for Java programs that reverse engineers parameterized tyeps into existing Java code.This anlaysis propagates precise type information about the ocntents of container objects.As an application,the analysis can be used to justify the safe removal of downcasts that are guaranteed to succeed.Another applciation is in automatically reverse engineering parameterized types into existing Java libraries,so that they cna be used in Java dialects with parameterized types.