The following pages link to Static Analysis (Q5897441):
Displayed 9 items.
- The two variable per inequality abstract domain (Q656848) (← links)
- A Note on the Inversion Join for Polyhedral Analysis (Q2814111) (← links)
- Speeding up Polyhedral Analysis by Identifying Common Constraints (Q2814112) (← links)
- Efficient Elimination of Redundancies in Polyhedra by Raytracing (Q2961577) (← links)
- Splitting the Control Flow with Boolean Flags (Q3522080) (← links)
- Logahedra: A New Weakly Relational Domain (Q3648708) (← links)
- Computational tools for solving a marginal problem with applications in Bell non-locality and causal modeling (Q4629598) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
- Summarized Dimensions Revisited (Q5170183) (← links)