The following pages link to (Q4417791):
Displaying 7 items.
- TFA: an efficient and precise virtual method call resolution for Java (Q826353) (← links)
- Deriving escape analysis by abstract interpretation (Q857916) (← links)
- Hash consed points-to sets (Q2145316) (← links)
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability (Q2145335) (← links)
- Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization (Q2988672) (← links)
- Sawja: Static Analysis Workshop for Java (Q3067538) (← links)
- The Complexity of Andersen’s Analysis in Practice (Q3392927) (← links)