The following pages link to Static Analysis (Q5466576):
Displaying 4 items.
- A calculus of logical relations for over- and underapproximating static analyses (Q859954) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)