Suchergebnisse - (("java/c/haskell/prolog programs") OR ("Java/C/Haskell/Prolog process"))*

Analyzing Program Termination and Complexity Automatically with AProVE

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

Quelle: 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

Schlagwörter: Complexity analysis, Java/C/Haskell/Prolog programs, Term rewriting, Termination analysis

Dateibeschreibung: application/pdf

Verfügbarkeit: 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