The reflection in Java provides generality to Java code at the cost of severe overhead at run-time. Partial evaluation have been used to remove reflection from the runtime code, but the feasibility of it for Java programs in general is still an open research issue. We present a partial evaluation technique that can remove reflection in Java programs using type information. We also present a mechanism to deal with exceptions in partial evaluation of Java programs that enables the partial evaluation process fully automatic.
展开▼