The following pages link to (Q4411954):
Displayed 5 items.
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614) (← links)