Skip to main content

Algebraic Program Analysis

Author(s): Kincaid, Zachary; Reps, Thomas; Cyphert, John

To refer to this page use:
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.
Citation: Kincaid, Zachary, Thomas Reps, and John Cyphert. "Algebraic Program Analysis." In International Conference on Computer Aided Verification, pp. 46-83. 2021.
DOI: 10.1007/978-3-030-81685-8_3
Pages: 46 - 83
Type of Material: Conference Article
Journal/Proceeding Title: International Conference on Computer Aided Verification
Version: Final published version. This is an open access article.

Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.