Static program analysis via 3-valued logic

被引：0
|
作者：
Reps, TW
Sagiv, M
Wilheim, R
机构：
[1] Univ Wisconsin, Dept Comp Sci, Madison, WI 53706 USA
[2] Tel Aviv Univ, Sch Comp Sci, IL-69978 Tel Aviv, Israel
[3] Univ Saarland, D-6600 Saarbrucken, Germany
来源：
COMPUTER AIDED VERIFICATION | 2004年 / 3114卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper reviews the principles behind the paradigm of "abstract interpretation via 3-valued logic," discusses recent work to extend the approach, and summarizes on-going research aimed at overcoming remaining limitations on the ability to create program-analysis algorithms fully automatically.
引用
收藏
页码：15 / 30
页数：16
相关论文
共 50 条
  • [1] Static program analysis via 3-valued logic
    Reps, T
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 1 - 1
  • [2] Parametric shape analysis via 3-valued logic
    Sagiv, M
    Reps, T
    Wilhelm, R
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (03): : 217 - 298
  • [3] 3-VALUED LOGIC
    PUTNAM, H
    PHILOSOPHICAL STUDIES, 1957, 8 (05) : 73 - 80
  • [4] ARGUMENTS IN 3-VALUED LOGIC
    WOODRUFF, PW
    JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 637 - &
  • [5] PROGRAMMING IN 3-VALUED LOGIC
    DELAHAYE, JP
    THIBAU, V
    THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 189 - 216
  • [6] TREES FOR A 3-VALUED LOGIC
    JOHNSON, F
    ANALYSIS, 1984, 44 (01) : 43 - 46
  • [7] CONSTRUCTIVE 3-VALUED LOGIC
    WOODRUFF, PW
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 183 - &
  • [8] INTUITIONISTIC 3-VALUED LOGIC AND LOGIC PROGRAMMING
    VAUZEILLES, J
    STRAUSS, A
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (06): : 557 - 587
  • [9] QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC
    Arkoudas, Konstantine
    Bringsjord, Selmer
    Khemlani, Sangeet
    KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, 2009, : 80 - +
  • [10] MEDIUM LOGIC AND WOODRUFF 3-VALUED LOGIC
    LI, X
    LI, GY
    CHINESE SCIENCE BULLETIN, 1990, 35 (08): : 622 - 626
12345