> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic Beteiligte: Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter; Aschermann, Cornelius Erschienen: Springer Science and Business Media LLC, 2017 Erschienen in: Journal of Automated Reasoning Sprache: Englisch DOI: 10.1007/s10817-016-9389-x ISSN: 0168-7433; 1573-0670 Schlagwörter: Artificial Intelligence ; Computational Theory and Mathematics ; Software Entstehung: Anmerkungen: