The following pages link to (Q4518876):
Displaying 4 items.
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Implementing Compositional Analysis Using Intersection Types With Expansion Variables (Q2842841) (← 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)
