The following pages link to (Q4518876):
Displaying 6 items.
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Implementing compositional analysis using intersection types with expansion variables (Q2842841) (← links)
- A calculus with polymorphic and polyvariant flow types (Q4542147) (← 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)
- Type-base flow analysis (Q5178873) (← links)