Abstracting Abstract Machines.
An introduction is presented for the article "Abstracting Abstract Machines A Systematic Approach to Higher-Order Program Analysis," by David Van Horn and Matthew Might, which is published elsewhere in the same issue.
| Publicado en: | Communications of the ACM Vol. 54; no. 9; pp. 100 - 101 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | An introduction is presented for the article "Abstracting Abstract Machines A Systematic Approach to Higher-Order Program Analysis," by David Van Horn and Matthew Might, which is published elsewhere in the same issue. |
|---|