The following pages link to David A. Vanhorn (Q2802429):
Displayed 16 items.
- Running Probabilistic Programs Backwards (Q2802430) (← links)
- Soft contract verification (Q2819673) (← links)
- Pushdown control-flow analysis for free (Q2828314) (← links)
- Pushdown flow analysis with abstract garbage collection (Q2875231) (← links)
- Constructive Galois connections: taming the Galois connection framework for mechanized metatheory (Q2985779) (← links)
- Systematic abstraction of abstract machines (Q3165529) (← links)
- Flow Analysis, Linearity, and PTIME (Q3522075) (← links)
- Free-decay time-domain modal identification for large space structures (Q4307966) (← links)
- Constructive Galois Connections (Q4972068) (← links)
- Introspective pushdown analysis of higher-order programs (Q5168912) (← links)
- Relating complexity and precision in control flow analysis (Q5168927) (← links)
- Abstracting abstract machines (Q5176929) (← links)
- Deciding <i>k</i> CFA is complete for EXPTIME (Q5178768) (← links)
- Optimizing abstract abstract machines (Q5244823) (← links)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)
- Types and trace effects of higher order programs (Q5451968) (← links)