Meta-circular abstract interpretation in prolog

被引：0
|
作者：
Codish, Michael [1 ]
Søndergaard, Harald [2 ]
机构：
[1] Dept. of Computer Science, Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel
[2] Dept. of Computer Science and Software Eng., Univ. of Melbourne, Australia
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002年 / 2566 LNCS卷
关键词：
D O I：
10.1007/3-540-36377-7_6
中图分类号：
学科分类号：
摘要：
61
引用
收藏
页码：109 / 134
相关论文
共 50 条
  • [41] AN ABSTRACT MACHINE TO IMPLEMENT OR-AND PARALLEL PROLOG EFFICIENTLY
    DEKERGOMMEAUX, JC
    ROBERT, P
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 249 - 264
  • [42] Abstract Interpretation: An Illustration
    Kumar, Shiv
    Carr, Mahil
    SOUVENIR OF THE 2014 IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC), 2014, : 1419 - 1423
  • [43] The quotient of an abstract interpretation
    Cortesi, A
    File, G
    Winsborough, W
    THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 163 - 192
  • [44] Interprocedural abstract interpretation
    不详
    OPTIMAL INTERPROCEDURAL PROGRAM OPTIMIZATION, 1998, 1428 : 109 - 140
  • [45] Bounded Abstract Interpretation
    Christakis, Maria
    Wustholz, Valentin
    STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 105 - 125
  • [46] ABSTRACT INTERPRETATION AND INDETERMINACY
    PANANGADEN, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 497 - 511
  • [47] Complementation in abstract interpretation
    Cortesi, A
    File, G
    Giacobazzi, R
    Palamidessi, C
    Ranzato, F
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (01): : 7 - 47
  • [48] Compiling with Abstract Interpretation
    Lesbre, Dorian
    Lemerre, Matthieu
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI):
  • [49] Probabilistic Abstract Interpretation
    Cousot, Patrick
    Monerau, Michael
    PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 169 - 193
  • [50] ON THE POWER OF ABSTRACT INTERPRETATION
    REDDY, US
    KAMIN, SN
    COMPUTER LANGUAGES, 1993, 19 (02): : 79 - 89
12345