47 citations · 107 across the 14 of their papers we have counts for
1 paper · 1 filter
Thomas Gilray, Steven Lyde, Michael D. Adams +2
Traditional control-flow analysis (CFA) for higher-order languages, whether implemented by constraint-solving or abstract interpretation, introduces spurious connections between ca…