2 citations · 3 across the 7 of their papers we have counts for
1 paper · 1 filter
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt +1
Termination is an important but undecidable program property, which has led to a large body of work on static methods for conservatively predicting or enforcing termination. One su…