Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs…