Abstract Domains of Affine Relations

被引：0
|
作者：
Elder, Matt [1 ]
Lim, Junghee [1 ]
Sharma, Tushar [1 ]
Andersen, Tycho [1 ]
Reps, Thomas [1 ]
机构：
[1] Univ Wisconsin, Madison, WI 53706 USA
来源：
STATIC ANALYSIS | 2011年 / 6887卷
基金：
美国国家科学基金会;
关键词：
SYSTEM;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper considers some known abstract domains for affine-relation analysis (ARA), along with several variants, and studies how they relate to each other. We show that the abstract domains of Muller-Olm/Seidl (MOS) and King/Sondergaard (KS) are, in general, incomparable, but give sound interconversion methods. We also show that the methods of King and Sondergaard can be applied without bit-blasting while still using a bit-precise concrete semantics.
引用
收藏
页码：198 / 215
页数：18
相关论文
共 50 条
  • [41] Color associations in abstract semantic domains
    Guilbeault, Douglas
    Nadler, Ethan O.
    Chu, Mark
    Lo Sardo, Donald Ruggiero
    Kar, Aabir Abubaker
    Desikan, Bhargav Srinivasa
    COGNITION, 2020, 201
  • [42] Abstract domains for universal and existential properties
    Heaton, A
    Hill, PM
    King, A
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, 1782 : 150 - 164
  • [43] Narrowing Operators on Template Abstract Domains
    Amato, Gianluca
    Di Maio, Simone Di Nardo
    Meo, Maria Chiara
    Scozzari, Francesca
    FM 2015: FORMAL METHODS, 2015, 9109 : 57 - 72
  • [44] Optimal domains for disjunctive abstract interpretation
    Giacobazzi, R
    Ranzato, F
    SCIENCE OF COMPUTER PROGRAMMING, 1998, 32 (1-3) : 177 - 210
  • [45] Construction of Abstract Domains for Heterogeneous Properties
    Rival, Xavier
    Toubhans, Antoine
    Chang, Bor-Yuh Evan
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 489 - 492
  • [46] On support relations in abstract argumentation as abstractions of inferential relations
    Prakken, Henry
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 735 - 740
  • [47] Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
    Jiang, Jiahong
    Chen, Liqian
    Wu, Xueguang
    Wang, Ji
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017, 2017, 10145 : 310 - 329
  • [48] REGULAR ELEMENTS OF ABSTRACT AFFINE NEAR-RINGS
    YAKABE, I
    PROCEEDINGS OF THE JAPAN ACADEMY SERIES A-MATHEMATICAL SCIENCES, 1989, 65 (08) : 307 - 310
  • [49] AFFINE TORIC EQUIVALENCE RELATIONS ARE EFFECTIVE
    Raicu, Claudiu
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2010, 138 (11) : 3835 - 3847
  • [50] Transformations and Coupling Relations for Affine Connections
    Tao, James
    Zhang, Jun
    GEOMETRIC SCIENCE OF INFORMATION, GSI 2015, 2015, 9389 : 326 - 339
12345