Pages that link to "Item:Q2362493"
From MaRDI portal
The following pages link to Analyzing program termination and complexity automatically with \textsf{AProVE} (Q2362493):
Displaying 25 items.
- AProVE (Q19847) (← links)
- ATLAS: automated amortised complexity analysis of self-adjusting data structures (Q832253) (← links)
- Porous invariants (Q832262) (← links)
- Loop detection by logically constrained term rewriting (Q1629968) (← links)
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution (Q1647969) (← links)
- Constant runtime complexity of term rewriting is semi-decidable (Q1799562) (← links)
- Explaining safety failures in NetKAT (Q2043810) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Tuple interpretations for termination of term rewriting (Q2102931) (← links)
- Runtime complexity analysis of logically constrained rewriting (Q2119101) (← links)
- Automated termination analysis of polynomial probabilistic programs (Q2233477) (← links)
- A Perron-Frobenius theorem for deciding matrix growth (Q2239274) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- Lower bounds for runtime complexity of term rewriting (Q2398176) (← links)
- Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
- Proving Termination Through Conditional Termination (Q3303892) (← links)
- (Q5089023) (← links)
- (Q5875426) (← links)
- An automated approach to the Collatz conjecture (Q6103589) (← links)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations (Q6118746) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
- Non-termination in Term Rewriting and Logic Programming (Q6493567) (← links)
