8 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 2 cited
Forward Build Systems, Formally
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build systems are a fundamental part of software construction, but their correctness has received comparatively little attention, relative to more prominent parts of the toolchain.…
cs.PL2020★ 8 cited
Build Scripts with Perfect Dependencies
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build scripts for most build systems describe the actions to run, and the dependencies between those actions---but often build scripts get those dependencies wrong. Most build scri…