Login / Signup

Termination Graphs for Java Bytecode.

Marc BrockschmidtCarsten OttoChristian von EssenJürgen Giesl
Published in: Verification, Induction, Termination Analysis (2010)
Keyphrases
  • java bytecode
  • programming language
  • virtual machine
  • databases
  • database
  • expressive power
  • java virtual machine
  • efficient execution