An arithmetic sequence is a sequence of numbers in which each number is obtained by adding a constant value to the previous number. Arithmetic sequences are linear. That is, they form a straight line ...

Abstract: This paper compares the properties of infinitely recurring sequences and terminating sequences generated by arithmetic division with the properties of linear feedback shift registers. The ...

We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted functions. We assume ...