Termination analysis of linear loop programs
From MaRDI portal
Recommendations
Cited in
(26)- Program termination using Z-transform theory
- Termination detection in parallel loop nests with while loops
- Discovering non-terminating inputs for multi-path polynomial programs
- Witness to non-termination of linear programs
- Termination analysis for functional programs
- Termination analysis of nonlinear loops over closed and bounded connected domain
- Analysis of linear definite iterative loops
- Loop Summarization and Termination Analysis
- TERMINATION ANALYSIS OF LINEAR LOOPS
- Termination of single-path polynomial loop programs
- Forced termination of loops
- Proving termination of nonlinear command sequences
- Termination of semi-algebraic loop programs
- Termination and cost analysis of loops with concurrent interleavings
- Computer Aided Verification
- On termination of integer linear loops
- Termination Analysis of C Programs Using Compiler Intermediate Languages
- Automated Technology for Verification and Analysis
- scientific article; zbMATH DE number 6401180 (Why is no real title available?)
- Verification, Model Checking, and Abstract Interpretation
- Termination of Integer Linear Programs
- Deciding conditional termination
- Deciding conditional termination
- CONCUR 2005 – Concurrency Theory
- Termination of linear programs with nonlinear constraints
- Reflections on termination of linear loops
This page was built for publication: Termination analysis of linear loop programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5399489)
