History of Abstract Interpretation

被引：10
作者：
Giacobazzi, Roberto [1 ]
Ranzato, Francesco [2 ]
机构：
[1] Univ Verona, Dept Comp Sci, I-37129 Verona, Italy
[2] Univ Padua, Dept Math Tullio Levi Civita, I-35129 Padua, Italy
来源：
IEEE ANNALS OF THE HISTORY OF COMPUTING | 2022年 / 44卷 / 02期
关键词：
PROVING PROPERTIES; SOCIAL PROCESSES;
D O I：
10.1109/MAHC.2021.3133136
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：33 / 43
页数：11
相关论文
共 82 条
  • [1] Aho A. V., 1972, SIAM Journal on Computing, V1, P1, DOI 10.1137/0201002
  • [2] Aho AlfredV., 1977, Principles of Compiler Design
  • [3] Allen F. E., 1969, Annual review in automatic programming, vol.5, P239
  • [4] Allen F. E., 1970, APPL COMPUTATIONAL M, V5, P1, DOI DOI 10.1145/390013.808479
  • [5] Allen Frances E., 1970, ACM Sigplan Notices, P1, DOI 10.1145/390013.808479
  • [6] Almeida J., 2004, B SPM, V50, P1
  • [7] AMMARGUELLAT Z, 1990, SIGPLAN NOTICES, V25, P283, DOI 10.1145/93548.93583
  • [8] [Anonymous], 1966, BIT Numer. Math., DOI DOI 10.1007/BF01966091
  • [9] Social processes, program verification and all that
    Asperti, Andrea
    Geuvers, Herman
    Natarajan, Raja
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (05) : 877 - 896
  • [10] Babbage Charles, 1864, Passages from the Life of a Philosopher
123456789