- Artículo:
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
- Autor:
David Van Horn
Matthew Might
- Resumen:
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 …
- Página:
101
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980180
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
