Pages that link to "Item:Q3452271"
From MaRDI portal
The following pages link to Precise interprocedural analysis through linear algebra (Q3452271):
Displaying 26 items.
- Analysis of linear definite iterative loops (Q289808) (← links)
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- The structure of polynomial invariants of linear loops (Q891730) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Reducing concurrent analysis under a context bound to sequential analysis (Q1039852) (← links)
- Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
- Reference count analysis with shallow aliasing (Q1944038) (← links)
- Intensional Kleene and Rice theorems for abstract program semantics (Q2105439) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Data flow analysis of asynchronous systems using infinite abstract domains (Q2233447) (← links)
- Interprocedural shape analysis using separation logic-based transformer summaries (Q2233537) (← links)
- A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)
- Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Computing polynomial program invariants (Q2390319) (← links)
- Polynomial invariants for linear loops (Q2452765) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Inter-procedural Two-Variable Herbrand Equalities (Q2802449) (← links)
- View-Augmented Abstractions (Q2814101) (← links)
- An Iterative Method for Generating Loop Invariants (Q3004678) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)
