@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
}

{"_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}