Algebraic Program Analysis

Zachary Kincaid,Thomas Reps,John Cyphert

COMPUTER AIDED VERIFICATION (CAV 2021), PT I（2021）

引用 4|浏览6

暂无评分

摘要

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.

查看译文

关键词

program,analysis

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要