48 citations · 157 across the 6 of their papers we have counts for
1 paper · 1 filter
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
We present a new approach to automated reasoning about higher-order programs by endowing symbolic execution with a notion of higher-order, symbolic values. Our approach is sound an…