Login / Signup

Simple verification technique for complex Java bytecode subroutines.

Alessandro Coglio
Published in: Concurr. Pract. Exp. (2004)
Keyphrases
  • java bytecode
  • high level
  • relational databases
  • query processing
  • object oriented