Automated Termination Proofs for Java Programs with Cyclic Data.

Marc Brockschmidt, Richard Musiol, Carsten Otto, Jrgen Giesl

Browse the full CAV paper archive.