Type elaboration and subtype completion for Java bytecode.

Todd B. Knoblock Jakob Rehof

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

Keyphrases

java bytecode
databases
query processing