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 remains a difficult and error-prone process for modern high-level programming languages.