Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
VAN HORN, David ; MIGHT, Matthew
Communications of the ACM, 2011-09, Vol.54 (9), p.101-109
New York, NY: Association for Computing Machinery
Texto completo disponível