Pages that link to "Item:Q3522082"
From MaRDI portal
The following pages link to A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (Q3522082):
Displaying 9 items.
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Reachability-based acyclicity analysis by abstract interpretation (Q1944776) (← links)
- Static analysis by abstract interpretation: a mathematical programming approach (Q2814107) (← links)
- Galois Connections for Recursive Types (Q3297839) (← links)
- CFA2: A Context-Free Approach to Control-Flow Analysis (Q3558250) (← links)
- (Q4934630) (← links)
- Constructive Galois Connections (Q4972068) (← links)
- Improving flow analyses via ΓCFA (Q5501455) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)