@inproceedings{089a1f172bac441ca9e46e1b3c437a4d,
title = "Algebraic Program Analysis",
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.",
author = "Zachary Kincaid and Thomas Reps and John Cyphert",
note = "Funding Information: Acknowledgments. Supported, in part, by a gift from Rajiv and Ritu Batra; by a Facebook Research Award; by NSF under grant number 1942537, and by ONR under grants N00014-17-1-2889 and N00014-19-1-2318. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors, and do not necessarily reflect the views of the sponsoring entities. Publisher Copyright: {\textcopyright} 2021, The Author(s).; 33rd International Conference on Computer Aided Verification, CAV 2021 ; Conference date: 20-07-2021 Through 23-07-2021",
year = "2021",
doi = "10.1007/978-3-030-81685-8_3",
language = "English (US)",
isbn = "9783030816841",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "46--83",
editor = "Alexandra Silva and Leino, {K. Rustan}",
booktitle = "Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings",
address = "Germany",
}