Home → Magazine Archive → September 2011 (Vol. 54, No. 9) → Abstracting Abstract Machines: A Systematic Approach... → Abstract

Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis

By David Van Horn, Matthew Might

Communications of the ACM, Vol. 54 No. 9, Pages 101-109

[article image]

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.

The full text of this article is premium content


No entries found