18 citations · 25 across the 5 of their papers we have counts for
1 paper · 1 filter
John P. Gallagher, Robert Glück
It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analys…