PE-KeY: A Partial Evaluator for Java Programs.

Ran Ji Richard Bubel

Published in: IFM (2012)

Keyphrases

java programs
multi threaded
software components
multi agent
low cost
java language
relational databases
general purpose
test suite