Pages that link to "Item:Q3558250"
From MaRDI portal
The following pages link to CFA2: A Context-Free Approach to Control-Flow Analysis (Q3558250):
Displaying 7 items.
- Certifying assembly programs with trails (Q352100) (← links)
- Pushdown control-flow analysis for free (Q2828314) (← links)
- Control-flow analysis of functional programs (Q2875080) (← links)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses (Q4625159) (← links)
- Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap (Q5041093) (← links)
- Improving flow analyses via ΓCFA (Q5501455) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)