Algebraic Program Analysis

Zachary Kincaid, Thomas W. Reps, John Cyphert

Abstract: This paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination analysis.