Proving Termination and Memory Safety for Programs with Pointer Arithmetic? Thomas Str¨ oder1 , J¨ urgen Giesl1 , Marc Brockschmidt2 , Florian Frohn1 , Carsten Fuhs3 , Jera Hensel1 , and Peter Schneider-Kamp4

First Page		Document Content
Date: 2014-05-16 12:11:11		Proving Termination and Memory Safety for Programs with Pointer Arithmetic? Thomas Str¨ oder1 , J¨ urgen Giesl1 , Marc Brockschmidt2 , Florian Frohn1 , Carsten Fuhs3 , Jera Hensel1 , and Peter Schneider-Kamp4 Add to Reading List Source URL: www.dcs.bbk.ac.uk Download Document from Source Website File Size: 459,42 KB Share Document on Facebook