| Document Date: 2015-01-30 08:47:53
Open Document File Size: 459,15 KBShare Result on Facebook
City Cambridge / / Company Microsoft / Research Training Group / / Country Germany / United Kingdom / Denmark / / Facility University College London / University of Southern Denmark / RWTH Aachen University / / IndustryTerm typical pointer algorithms / strlen algorithm / integer transition systems / / Organization RWTH Aachen University / University College London / / Person Thomas Str / / Position VP / local program variables VP / VP / the memory cells / VP / t1 / / ProgrammingLanguage J / C / / ProvinceOrState Alabama / / Region Southern Denmark / / Technology typical pointer algorithms / strlen algorithm / little-endian / / |
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