We are interested in the set V of program variables and constants with integer type. The ring ℤ of integers is an integral domain; that is, a commutative ring with multiplication identity that satisfies the cancellation law. Hence, if the value of a syntactic expression eat a state s of a program is represented by ɛ [e]s, then the properties shown in Figure 3.1 hold.
KeywordsRecurrence Relation Flow Graph Program Variable Multivariate Polynomial Control Flow Graph
Unable to display preview. Download preview PDF.