The following pages link to Axel Simon (Q656847):
Displayed 15 items.
- The two variable per inequality abstract domain (Q656848) (← links)
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- A Note on the Inversion Join for Polyhedral Analysis (Q2814111) (← links)
- Speeding up Polyhedral Analysis by Identifying Common Constraints (Q2814112) (← links)
- The Undefined Domain: Precise Relational Information for Entities That Do Not Exist (Q2937785) (← links)
- Analyzing String Buffers in C (Q2996136) (← links)
- Two Variables per Linear Inequality as an Abstract Domain (Q3079912) (← links)
- Modular Analysis of Executables Using On-Demand Heyting Completion (Q3296335) (← links)
- (Q3499221) (← links)
- Splitting the Control Flow with Boolean Flags (Q3522080) (← links)
- Taming the Wrapping of Integer Arithmetic (Q3611998) (← links)
- Convex hull of planar<i>h</i>-polyhedra (Q4831398) (← links)
- Summarized Dimensions Revisited (Q5170183) (← links)
- Widening Polyhedra with Landmarks (Q5385594) (← links)
- Static Analysis (Q5897441) (← links)