42 citations · 56 across the 2 of their papers we have counts for
2 papers
cs.PL2018★ 14 cited
Size-Change Termination as a Contract
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…
cs.PL2015★ 42 cited
Incremental Computation with Names
Matthew A. Hammer, Jana Dunfield, Kyle Headley +4
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently updat…