Pages that link to "Item:Q3303892"
From MaRDI portal
The following pages link to Proving Termination Through Conditional Termination (Q3303892):
Displaying 7 items.
- Reflections on termination of linear loops (Q832249) (← links)
- Loop detection by logically constrained term rewriting (Q1629968) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Resource Analysis driven by (Conditional) Termination Proofs (Q5108498) (← links)
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis (Q5108517) (← links)
- Multiphase-linear ranking functions and their relation to recurrent sets (Q6536301) (← links)
- Termination analysis of programs with multiphase control-flow (Q6647299) (← links)
