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

Analyzing Program Termination and Complexity Automatically with AProVE von 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é

“… In this system description, we present the tool AProVE for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and rewrite systems. In …”
Volltext