Automated Termination Proofs for Java Programs with Cyclic Data.

Marc Brockschmidt Richard Musiol Carsten Otto Jürgen Giesl

Published in: CAV (2012)

Keyphrases

data sets
data analysis
training data
data processing
java programs
fine grained
database
real time
real world
case study