Login / Signup

Type Elaboration and Subtype Completion for Java Bytecode.

Todd B. KnoblockJakob Rehof
Published in: POPL (2000)
Keyphrases
  • java bytecode
  • database
  • object oriented
  • type checking