The following pages link to (Q4174789):
Displaying 50 items.
- Precise interprocedural dataflow analysis with applications to constant propagation (Q671681) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Algebraic program analysis (Q832153) (← links)
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- Termination of floating-point computations (Q850498) (← links)
- The octagon abstract domain (Q853733) (← links)
- Automatically replacing indices into parallel arrays with pointers to records (Q1123591) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Descending chains and narrowing on template abstract domains (Q1671249) (← links)
- Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- Optimal inverse projection of floating-point addition (Q2299211) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- The octagon abstract domain for continuous constraints (Q2342596) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- Relational Abstract Domain of Weighted Hexagons (Q2814105) (← links)
- Static Analysis by Abstract Interpretation: A Mathematical Programming Approach (Q2814107) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (Q2891398) (← links)
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- Faster Algorithms for Weighted Recursive State Machines (Q2988644) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack (Q3000594) (← links)
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- Incremental Abstract Interpretation (Q3297840) (← links)
- Region Analysis for Race Detection (Q3392925) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- A Scalable Segmented Decision Tree Abstract Domain (Q3587252) (← links)
- Polynomial Precise Interval Analysis Revisited (Q3644736) (← links)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses (Q4625159) (← links)
- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs (Q4916088) (← links)
- Cache behavior prediction by abstract interpretation (Q5030186) (← links)
- Abstract cofibered domains: Application to the alias analysis of untyped programs (Q5030205) (← links)
- Gate splitting in LOTOS specifications using abstract interpretation (Q5044753) (← links)
- The role of linearity in sharing analysis (Q5055490) (← links)
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable (Q5170170) (← links)
- Sweeping in Abstract Interpretation (Q5170178) (← links)
- Summarized Dimensions Revisited (Q5170183) (← links)
- Narrowing Operators on Template Abstract Domains (Q5206948) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
