Algebraic Program Analysis
Algebraic Program Analysis
复制标题
DOI：
10.1007/978-3-030-81685-8_3
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Zachary Kincaid;T. Reps;John Cyphert
中科院分区：
文献类型：
--
作者：
Zachary Kincaid;T. Reps;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.