36 citations · 37 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 36 cited
Pushdown Control-Flow Analysis of Higher-Order Programs
Christopher Earl, Matthew Might, David Van Horn
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites---a property that eliminates spurious interprocedura…
cs.PL2010★ 1 cited
Abstracting Abstract Machines
David Van Horn, Matthew Might
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demo…