Introspective pushdown analysis of higher-order programs.

Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn

Browse the full ICFP paper archive.