PE-KeY: A Partial Evaluator for Java Programs.

Ran Ji, Richard Bubel

Browse the full IFM paper archive.