32 citations · 34 across the 4 of their papers we have counts for
1 paper · 1 filter
Dimitrios Vardoulakis, Olin Shivers
In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: the…