Pushdown control-flow analysis of higher-order programs (2010)

by Christopher Earl, Matthew Might, David Van Horn
Venue:In Proceedings of the 2010 Workshop on Scheme and Functional Programming