The following pages link to Carsten Otto (Q2362490):
Displaying 6 items.
- Analyzing program termination and complexity automatically with \textsf{AProVE} (Q2362493) (← links)
- Termination Graphs for Java Bytecode (Q3058449) (← links)
- Proving Termination of Programs Automatically with AProVE (Q3192189) (← links)
- Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (Q5389079) (← links)
- Automated Termination Analysis of Java Bytecode by Term Rewriting (Q5389149) (← links)
- Search Techniques for Rational Polynomial Orders (Q5505493) (← links)
