Forward build systems, formally
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt · 2022
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. In this paper, we address the correctness of forward build systems, which automatically determine the dependency structure of the build, rather than having it specified by the programmer.