Proving Termination and Memory Safety for Programs with Pointer Arithmetic.

Thomas Strder, Jrgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp

Browse the full CADE paper archive.