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.
| Published in: | Communications of the ACM Vol. 54; no. 9; pp. 100 - 101 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Published: |
Association for Computing Machinery
Sep2011
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |