The following pages link to Improving flow analyses via ΓCFA (Q5501455):
Displaying 9 items.
- Context-sensitive analysis without calling-context (Q656869) (← links)
- Access Analysis-Based Tight Localization of Abstract Memories (Q3075495) (← links)
- Systematic abstraction of abstract machines (Q3165529) (← links)
- CFA2: A Context-Free Approach to Control-Flow Analysis (Q3558250) (← links)
- Push versus pull-based loop fusion in query engines (Q4577821) (← 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)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- Modular, higher order cardinality analysis in theory and practice (Q5372006) (← links)
