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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 54; no. 9; pp. 101 - 110
Autores principales:	Van Horn, David, Might, Matthew
Formato:	Artículo
Publicado:	Association for Computing Machinery Sep2011
Materias:	Computer software Computer software correctness Semantic computing Debugging Programming languages Software engineering
Acceso en línea:	Ver este registro en EBSCOhost