History of Abstract Interpretation
IEEE Annals of the History of Computing（2022）
摘要
We trace the roots of abstract interpretation and its role as a foundational principle to understand and design static program analysis and verification methods. Starting from the historical roots of formal methods and static program analysis, we show how abstract interpretation evolved and influenced the way we reason about program correctness in different programming languages and how this method shaped the literature and the practice in program analysis in the last 45 years.
更多查看译文
关键词
abstract interpretation,foundational principle,static program analysis,verification methods,historical roots,formal methods,program correctness
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要