Algebraic Program Analysis
Zachary Kincaid, Thomas Reps, John Cyphert
Abstract
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.
Topics & Concepts
Computer scienceAlgebraic numberAlgebraic analysisAlgebra over a fieldInvariant (physics)Program analysisProgramming languageMathematicsPure mathematicsDifferential algebraic equationMathematical analysisDifferential equationMathematical physicsOrdinary differential equationFormal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research