9 citations · 10 across the 6 of their papers we have counts for
1 paper · 2 filters
Christopher Earl, Ilya Sergey, Matthew Might +1
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each me…