Cover Image
QR Code

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 (static analyses) remains a difficult and error-prone process for modern high-level programming languages. What analysis designers need...

Full description

Published in:Communications of the ACM Vol. 54; no. 9; pp. 101 - 110
Main Authors: Van Horn, David, Might, Matthew
Format: Article
Published: Association for Computing Machinery Sep2011
Subjects:
Computer software
Computer software correctness
Semantic computing
Debugging
Programming languages
Software engineering
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost