January 1, 1978

Automatic discovery of linear restraints among variables of a program

Key Points

Key points are not available for this paper at this time.

Abstract

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.

Mark Helpful

Bookmark

Relay

Cite This Study

Cousot et al. (Sun,) studied this question.

synapsesocial.com/papers/6a197175b71d9c8593890b1c https://doi.org/https://doi.org/10.1145/512760.512770

Mark Helpful

Bookmark

Relay