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.
advertisement
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
10.1145/1995376.1995400
![[article image]](https://cacm.acm.org/system/assets/0000/5915/081511_TheExperts_Abstracting-Abstract2.large.jpg?1476779428&1313596600 "vector graphic")
0 Comments
No entries found
Log in to Read the Full Article
Purchase the Article