The following pages link to Pick your contexts well (Q5408528):
Displaying 9 items.
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- TFA: an efficient and precise virtual method call resolution for Java (Q826353) (← links)
- Hash consed points-to sets (Q2145316) (← links)
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability (Q2145335) (← links)
- Automatic synthesis of data-flow analyzers (Q2145353) (← links)
- Precise complexity guarantees for pointer analysis via Datalog with extensions (Q4593068) (← links)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses (Q4625159) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- Enforcing Programming Guidelines with Region Types and Effects (Q5055996) (← links)
