Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter; Aschermann, Cornelius Automatically proving termination and memory safety for programs with pointer arithmetic. (English) Zbl 1409.68077 J. Autom. Reasoning 58, No. 1, 33-65 (2017). MSC: 68N30 68Q42 68Q60 68T15 PDFBibTeX XMLCite \textit{T. Ströder} et al., J. Autom. Reasoning 58, No. 1, 33--65 (2017; Zbl 1409.68077) Full Text: DOI Link
Giesl, Jürgen; Aschermann, Cornelius; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René Analyzing program termination and complexity automatically with AProVE. (English) Zbl 1409.68255 J. Autom. Reasoning 58, No. 1, 3-31 (2017). MSC: 68T15 68N15 68Q42 PDFBibTeX XMLCite \textit{J. Giesl} et al., J. Autom. Reasoning 58, No. 1, 3--31 (2017; Zbl 1409.68255) Full Text: DOI
Fuhs, Carsten; Giesl, Jürgen; Plücker, Martin; Schneider-Kamp, Peter; Falke, Stephan Proving termination of integer term rewriting. (English) Zbl 1242.68131 Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29–July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 32-47 (2009). MSC: 68Q42 68Q60 68T15 PDFBibTeX XMLCite \textit{C. Fuhs} et al., Lect. Notes Comput. Sci. 5595, 32--47 (2009; Zbl 1242.68131) Full Text: DOI