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.
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. [link]Link  Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. [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