research
∙
06/19/2014
Pushdown flow analysis with abstract garbage collection
In the static analysis of functional programs, pushdown flow analysis an...
share
research
∙
05/14/2013
Abstracting Abstract Control (Extended)
The strength of a dynamic language is also its weakness: run-time flexib...
research
∙
11/15/2012
