PE-KeY: A Partial Evaluator for Java Programs

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Ji2012PEKeYAP, title={PE-KeY: A Partial Evaluator for Java Programs}, author={Ran Ji and Richard Bubel}, booktitle={IFM}, year={2012} }