Výsledky vyhľadávania - (( Java/C/Haskell/Prolog programs ) OR ( Java/C/Haskell/Prolog progress ))

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ískať plný text