Principles of Abstract Interpretation

被引：1
作者：
Wilhelm, Reinhard [1 ]
机构：
[1] Saarland Univ, Saarland Informat Campus,Campus E1 3, D-66123 Saarbrucken, Germany
来源：
FORMAL ASPECTS OF COMPUTING | 2022年 / 34卷 / 02期
关键词：
D O I：
10.1145/3546953
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页数：3
相关论文
共 10 条
  • [1] Cousot P., 1978, POPL 1978, P84, DOI [DOI 10.1145/512760.512770, 10.1145/512760.512770]
  • [2] Cousot Patrick, 1979, C RECORD 6 ANN ACM S, P269, DOI DOI 10.1145/567752.567778
  • [3] Cousot Patrick, 1977, P 4 ACM SIGACT SIGPL, P238, DOI [10.1145/512950.512973, DOI 10.1145/512950.512973]
  • [4] Cousot Patrick, 1978, ANALYSE SEMANTIQUE P
  • [5] Cache behavior prediction by abstract interpretation
    Ferdinand, C
    Martin, F
    Wilhelm, R
    Alt, M
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1999, 35 (2-3) : 163 - 189
  • [6] MONCKE U, 1991, LECT NOTES COMPUT SC, V545, P151
  • [7] Reineke J., 2018, Leibniz Transactions on Embedded Systems, V5, P03, DOI [10.4230/LITES-v005-i001-a003, DOI 10.4230/LITES-V005-I001-A003]
  • [8] Parametric shape analysis via 3-valued logic
    Sagiv, M
    Reps, T
    Wilhelm, R
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (03): : 217 - 298
  • [9] Static Analysis
    Thomson, Patrick
    [J]. COMMUNICATIONS OF THE ACM, 2022, 65 (01) : 50 - 54
  • [10] Wilhelm R, 2008, LECT NOTES COMPUT SC, V5123, P22
1