Media type: E-Article Title: Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic Contributor: Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter; Aschermann, Cornelius imprint: Springer Science and Business Media LLC, 2017 Published in: Journal of Automated Reasoning Language: English DOI: 10.1007/s10817-016-9389-x ISSN: 0168-7433; 1573-0670 Keywords: Artificial Intelligence ; Computational Theory and Mathematics ; Software Origination: Footnote: