Skip to main content

Paper - Abstracting Abstract Machines

· One min read
Tim Whiting
Tim Whiting
Author

The Abstracting Abstract Machines (Van Horn and Might 2010) paper is frequently cited due to its presentation of a methodological process of abstracting a small-step abstract machine for analysis.

Tim - Learnings / Thoughts​

TODO

David Van Horn, and Matthew Might. “Abstracting Abstract Machines.” In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 51–62. 2010.