Web Interface
Usage
Download
News
References
Contact
AProVE's Webinterface
This is the AProVE Web Interface for the current version of AProVE.
Frontend Languages
Java Bytecode
Java Bytecode Complexity
C
Functional Program (AProVE)
Prolog
LLVM
Haskell
Backend Languages
Term Rewrite System (WST Format)
Term Rewrite System (AProVE Format)
Probabilistic Term Rewrite System
(Probabilistic) Term Rewrite System (ARI Format)
String Rewrite System (WST Format)
String Rewrite System (AProVE Format)
Integer Term Rewrite System (RTA'09)
Integer Term Rewrite System (top-level rewriting)