Search Results - (("Java/C/Haskell/Prolog programs") OR ("Java/C/Haskell/Prolog progress"))

Analyzing Program Termination and Complexity Automatically with AProVE

Authors: Giesl, Jürgen Aschermann, Cornelius Brockschmidt, Marc et al.

Source: Giesl, J, Aschermann, C, Brockschmidt, M, Emmes, F, Frohn, F, Fuhs, C, Hensel, J, Otto, C, Plücker, M, Schneider-Kamp, P, Ströder, T, Swiderski, S & Thiemann, R 2017, 'Analyzing Program Termination and Complexity Automatically with AProVE', Journal of Automated Reasoning, vol. 58, no. 1, pp. 3-31. https://doi.org/10.1007/s10817-016-9388-y

Subject Terms: Complexity analysis, Java/C/Haskell/Prolog programs, Term rewriting, Termination analysis

File Description: application/pdf

Availability: https://portal.findresearcher.sdu.dk/da/publications/aa819b68-4b0c-420a-bd2a-5a0e8518d56d
https://doi.org/10.1007/s10817-016-9388-y
https://findresearcher.sdu.dk/ws/files/141379108/Analyzing_Program_Termination_and_Complexity_Automatically_with_AProVE.pdf