Make — A Program for Maintaining Computer Programs.¶
Feldman, S. I. (1979). Make — A Program for Maintaining Computer Programs. Software: Practice and Experience, 9(4), 255-265.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Directed Acyclic Graph
- Software builds (
make, Bazel, Nix, module imports) treat files as nodes and dependencies as edges, with cycles flagged as errors.This sourceBuild systems model file dependencies as a DAG and flag cycles as errors.
Supported in partVerified against the publisher's abstract
The abstract shows Make tracking relationships between parts of a program; it says nothing of DAGs, nodes/edges, or cycles flagged as errors, nor of Bazel, Nix or module imports.
“This paper describes a program that can keep track of the relationships between parts of a program, and issue the commands needed to make the parts consistent after changes are made.”
- Software builds (
- Frame Problem
- The relevant-ramifications region is exactly the transitive closure of the edited file's reverse dependencies — the object file compiled from it, anything that links that object, the binary.
Supported in partVerified against the publisher's abstract
The abstract shows Make tracks dependency relationships between program parts and rebuilds them to restore consistency, but it never states that the affected set is exactly the transitive closure of an edited file's reverse dependencies.
“This paper describes a program that can keep track of the relationships between parts of a program, and issue the commands needed to make the parts consistent after changes are made.”
- The relevant-ramifications region is exactly the transitive closure of the edited file's reverse dependencies — the object file compiled from it, anything that links that object, the binary.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 2 of 2 citations: 2 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:915a40735d90 · see in the full table