Proving Non-Termination for Java Bytecode

by Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl
Reference:
Proving Non-Termination for Java Bytecode (Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl), Chapter in Proceedings of the 12th International Workshop on Termination (Georg Moser, ed.), University of Innsbruck, 2012.
Bibtex Entry:
@incollection{BrockschmidtStroederOttoGiesl2012b,
  author     = {Brockschmidt, Marc and Str"{o}der, Thomas and Otto, Carsten and Giesl, J"{u}rgen},
  title      = {Proving Non-Termination for {Java Bytecode}},
  booktitle  = {Proceedings of the 12th International Workshop on Termination},
  editor     = {Moser, Georg},
  year       = {2012},
  location   = {Obergurgl, Austria},
  pages      = {39--43},
  publisher  = {University of Innsbruck},
  address    = {Innsbruck, Austria}
}

Bookmark the permalink.