Key points are not available for this paper at this time.
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.
Cousot et al. (Sun,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: