Výsledky vyhledávání - (( java/c/haskell/prolog programs ) OR ( Java/C/Haskell/Prolog process ))

Analyzing Program Termination and Complexity Automatically with AProVE Autor 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…”
Získat plný text