The following pages link to Olin Shivers (Q879360):
Displayed 16 items.
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- The anatomy of a loop (Q2936759) (← links)
- Bottom-up β-reduction: Uplinks and λ-DAGs (Q3000285) (← links)
- CFA2: a Context-Free Approach to Control-Flow Analysis (Q3003321) (← links)
- Building language towers with Ziggurat (Q3546048) (← links)
- Exploiting reachability and cardinality in higher-order flow analysis (Q3546050) (← links)
- CFA2: A Context-Free Approach to Control-Flow Analysis (Q3558250) (← links)
- Modular rollback through control logging (Q5176963) (← links)
- Pushdown flow analysis of first-class control (Q5176964) (← links)
- Multi-return function call (Q5178025) (← links)
- Programming Languages and Systems (Q5316566) (← links)
- Environment analysis via ΔCFA (Q5348919) (← links)
- An Array-Oriented Language with Static Rank Polymorphism (Q5410691) (← links)
- Model Checking Via ΓCFA (Q5452596) (← links)
- Improving flow analyses via ΓCFA (Q5501455) (← links)
- Static analysis for syntax objects (Q5501461) (← links)