Answers are grounded in this paper and cite their sources.
The model of abstract interpretation of programs developed by Cousot and Cousot [2nd ISOP, 1976], Cousot and Cousot [POPL 1977] and Cousot [PhD thesis 1978] is applied to the static determination of linear equality or inequality invariant relations among numerical variables of programs.
No takes yet. Share an insight, caveat, or question.
Cousot et al. (1978) studied this question.