Algebraic Program Analysis

Zachary Kincaid, Thomas Reps, and John Cyphert

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.

(Click here to access the paper: PDF.)