The following pages link to Matthew Might (Q879359):
Displaying 9 items.
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- Relatively complete pushdown analysis of escape continuations (Q2287083) (← links)
- Demand control-flow analysis (Q2287086) (← links)
- Pushdown control-flow analysis for free (Q2828314) (← links)
- Pushdown flow analysis with abstract garbage collection (Q2875231) (← links)
- Deletion: The curse of the red-black tree (Q2933113) (← links)
- Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis (Q2985791) (← links)
- Systematic abstraction of abstract machines (Q3165529) (← links)
- Logic-flow analysis of higher-order programs (Q3189798) (← links)
