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 条
  • [31] AN ABSTRACT THEORY OF INVERTIBLE RELATIONS
    COHN, L
    COMER, SD
    ALGEBRA UNIVERSALIS, 1988, 25 (02) : 131 - 146
  • [32] ON CONGRUENCE RELATIONS IN ABSTRACT ALGEBRAS
    ISHAQ, M
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 193 - &
  • [33] Abstract Domains and Solvers for Sets Reasoning
    Cox, Arlen
    Chang, Bor-Yuh Evan
    Li, Huisong
    Rival, Xavier
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 356 - 371
  • [34] A logical model for relational abstract domains
    Giacobazzi, R
    Scozzari, F
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05): : 1067 - 1109
  • [35] IMPROVING ABSTRACT INTERPRETATIONS BY COMBINING DOMAINS
    CODISH, M
    MULKERS, A
    BRUYNOOGHE, M
    DELABANDA, MG
    HERMENEGILDO, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (01): : 28 - 44
  • [36] A Constraint Solver Based on Abstract Domains
    Pelleau, Marie
    Mine, Antoine
    Truchet, Charlotte
    Benhamou, Frederic
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 434 - 454
  • [37] Abstract Domains for Database Manipulating Processes
    Schueler, Tobias
    Mennicke, Stephan
    Lochau, Malte
    RULES AND REASONING, RULEML+RR 2023, 2023, 14244 : 222 - 237
  • [38] Abstract temporal diagnosis in medical domains
    Gamper, J
    Nejdl, W
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 1997, 10 (03) : 209 - 234
  • [39] Logical model for relational abstract domains
    Universita di Pisa, Pisa, Italy
    ACM Trans Program Lang Syst, 5 (1067-1109):
  • [40] Abstract domains based on regular types
    Gallagher, JP
    Henriksen, KS
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 27 - 42
12345