Java bytecode verification via static single assignment form.

Published in: ACM Trans. Program. Lang. Syst. (2008)

Keyphrases