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 条
  • [21] ON INFINITESIMAL AFFINE AUTOMORPHISMS OF SIEGEL DOMAINS
    TAKEUCHI, M
    PROCEEDINGS OF THE JAPAN ACADEMY, 1969, 45 (07): : 590 - &
  • [22] AFFINE HOMOGENEOUS DOMAINS IN THE COMPLEX PLANE
    Lee, Kang-Hyurk
    KOREAN JOURNAL OF MATHEMATICS, 2022, 30 (04): : 643 - 652
  • [23] Convex affine domains and Markus conjecture
    Kyeonghee Jo
    Inkang Kim
    Mathematische Zeitschrift, 2004, 248 : 173 - 182
  • [24] Convex affine domains and Markus conjecture
    Jo, K
    Kim, I
    MATHEMATISCHE ZEITSCHRIFT, 2004, 248 (01) : 173 - 182
  • [25] Locally Nilpotent Derivations of Affine Domains
    Makar-Limanov, L.
    AFFINE ALGEBRAIC GEOMETRY: THE RUSSELL FESTSCHRIFT, 2011, 54 : 221 - 229
  • [26] Root Extensions and Factorization in Affine Domains
    Etingof, P.
    Malcolmson, P.
    Okoh, F.
    CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 2010, 53 (02): : 247 - 255
  • [27] Abstract Interpretation over Non-lattice Abstract Domains
    Gange, Graeme
    Navas, Jorge A.
    Schachte, Peter
    Sondergaard, Harald
    Stuckey, Peter J.
    STATIC ANALYSIS, SAS 2013, 2013, 7935 : 6 - 24
  • [28] AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS
    Cintula, Petr
    Gil-Ferez, Jose
    Moraschini, Tommaso
    Paoli, Francesco
    REVIEW OF SYMBOLIC LOGIC, 2019, 12 (02): : 331 - 371
  • [29] Temporal views as abstract relations
    Ramsay, A
    NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2002, : 116 - 123
  • [30] HOMOMORPHIC RELATIONS IN ABSTRACT ALGEBRAS
    ISHAQ, M
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (05): : A509 - A509
12345