Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J., Schneider-Kamp, P., & Aschermann, C. J. Autom. Reason., 58(1):33-65, 2017. Link Paper bibtex @article{journals/jar/StroderGBFFHSA17,
added-at = {2020-09-05T00:00:00.000+0200},
author = {Ströder, Thomas and Giesl, Jürgen and Brockschmidt, Marc and Frohn, Florian and Fuhs, Carsten and Hensel, Jera and Schneider-Kamp, Peter and Aschermann, Cornelius},
biburl = {https://www.bibsonomy.org/bibtex/2d2c0666cb76e2bb2f5018d04bd5aedcf/dblp},
ee = {https://doi.org/10.1007/s10817-016-9389-x},
interhash = {3a8caf23363f86afe40df73ffb73c238},
intrahash = {d2c0666cb76e2bb2f5018d04bd5aedcf},
journal = {J. Autom. Reason.},
keywords = {dblp},
number = 1,
pages = {33-65},
timestamp = {2020-09-09T13:35:05.000+0200},
title = {Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.},
url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#StroderGBFFHSA17},
volume = 58,
year = 2017
}
Downloads: 0
{"_id":"atpsgt3zrRnCgcN43","bibbaseid":"strder-giesl-brockschmidt-frohn-fuhs-hensel-schneiderkamp-aschermann-automaticallyprovingterminationandmemorysafetyforprogramswithpointerarithmetic-2017","author_short":["Ströder, T.","Giesl, J.","Brockschmidt, M.","Frohn, F.","Fuhs, C.","Hensel, J.","Schneider-Kamp, P.","Aschermann, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Ströder"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Giesl"],"firstnames":["Jürgen"],"suffixes":[]},{"propositions":[],"lastnames":["Brockschmidt"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Frohn"],"firstnames":["Florian"],"suffixes":[]},{"propositions":[],"lastnames":["Fuhs"],"firstnames":["Carsten"],"suffixes":[]},{"propositions":[],"lastnames":["Hensel"],"firstnames":["Jera"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider-Kamp"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Aschermann"],"firstnames":["Cornelius"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2d2c0666cb76e2bb2f5018d04bd5aedcf/dblp","ee":"https://doi.org/10.1007/s10817-016-9389-x","interhash":"3a8caf23363f86afe40df73ffb73c238","intrahash":"d2c0666cb76e2bb2f5018d04bd5aedcf","journal":"J. Autom. Reason.","keywords":"dblp","number":"1","pages":"33-65","timestamp":"2020-09-09T13:35:05.000+0200","title":"Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.","url":"http://dblp.uni-trier.de/db/journals/jar/jar58.html#StroderGBFFHSA17","volume":"58","year":"2017","bibtex":"@article{journals/jar/StroderGBFFHSA17,\n added-at = {2020-09-05T00:00:00.000+0200},\n author = {Ströder, Thomas and Giesl, Jürgen and Brockschmidt, Marc and Frohn, Florian and Fuhs, Carsten and Hensel, Jera and Schneider-Kamp, Peter and Aschermann, Cornelius},\n biburl = {https://www.bibsonomy.org/bibtex/2d2c0666cb76e2bb2f5018d04bd5aedcf/dblp},\n ee = {https://doi.org/10.1007/s10817-016-9389-x},\n interhash = {3a8caf23363f86afe40df73ffb73c238},\n intrahash = {d2c0666cb76e2bb2f5018d04bd5aedcf},\n journal = {J. Autom. Reason.},\n keywords = {dblp},\n number = 1,\n pages = {33-65},\n timestamp = {2020-09-09T13:35:05.000+0200},\n title = {Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.},\n url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#StroderGBFFHSA17},\n volume = 58,\n year = 2017\n}\n\n","author_short":["Ströder, T.","Giesl, J.","Brockschmidt, M.","Frohn, F.","Fuhs, C.","Hensel, J.","Schneider-Kamp, P.","Aschermann, C."],"key":"journals/jar/StroderGBFFHSA17","id":"journals/jar/StroderGBFFHSA17","bibbaseid":"strder-giesl-brockschmidt-frohn-fuhs-hensel-schneiderkamp-aschermann-automaticallyprovingterminationandmemorysafetyforprogramswithpointerarithmetic-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/s10817-016-9389-x","Paper":"http://dblp.uni-trier.de/db/journals/jar/jar58.html#StroderGBFFHSA17"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Schneider?items=1000","dataSources":["i8SRmtQi2JMEkzH9M"],"keywords":["dblp"],"search_terms":["automatically","proving","termination","memory","safety","programs","pointer","arithmetic","ströder","giesl","brockschmidt","frohn","fuhs","hensel","schneider-kamp","aschermann"],"title":"Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.","year":2017}