To refer to this page use:
http://arks.princeton.edu/ark:/88435/pr1xp6v36v| 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. https://doi.org/10.1007/978-3-030-81685-8_3 |
| 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.