The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
[article]
2011
arXiv
pre-print
Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs (static analyses) remains a difficult and error-prone process for modern high-level programming languages. What analysis designers need is a principled method for navigating the gap between semantics and analytic models: analysis designers need a method that tames the interaction of complex languages features such as higher-order
arXiv:1105.1743v1
fatcat:sf2vmzg3nfh5vlrpjexlzhbkga