OxyMake: A Formally-Specified, Content-Addressable Workflow Engine

Emmanuel Sérié

Make-lineage workflow runners decide whether a job must re-run from file-modification time (mtime, a timestamp) -- a broken proxy for the question that matters: did the content cha…