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 条
  • [21] On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
    Koutras, Costa. D.
    Nomikos, Christos
    Peppas, Pavlos
    LOGIC JOURNAL OF THE IGPL, 2008, 16 (06) : 591 - 604
  • [22] LANGUAGE DELTA WITH WEAK 3-VALUED LOGIC
    NEPEIVODA, NN
    DOKLADY AKADEMII NAUK SSSR, 1974, 219 (06): : 1325 - 1327
  • [23] POLYNOMIAL REPRESENTATIONS IN A CLASS OF 3-VALUED LOGIC
    TOSHICH, Z
    ENGINEERING CYBERNETICS, 1967, (02): : 113 - &
  • [24] NEGATION AS FAILURE AND INTUITIONISTIC 3-VALUED LOGIC
    VAUZEILLES, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 227 - 241
  • [25] LEGALITY CONCEPTS FOR 3-VALUED LOGIC PROGRAMS
    NOTA, G
    OREFICE, S
    PACINI, G
    RUGGIERO, F
    TORTORA, G
    THEORETICAL COMPUTER SCIENCE, 1993, 120 (01) : 45 - 68
  • [26] ON SHEFFER SYMMETRIC FUNCTIONS IN 3-VALUED LOGIC
    STOJMENOVIC, I
    DISCRETE APPLIED MATHEMATICS, 1989, 22 (03) : 267 - 274
  • [27] GENTZENS TECHNIQUES IN 3-VALUED LOGIC OF LUKASIEWICZ
    BECCHIO, D
    PABION, JF
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 123 - 124
  • [28] 3-VALUED BROUWER-ZADEH LOGIC
    GIUNTINI, R
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (10) : 1875 - 1887
  • [29] 3-WIRE 3-VALUED LOGIC CIRCUITS
    HARADA, N
    SHIMADA, R
    TAMESADA, T
    ELECTRONICS & COMMUNICATIONS IN JAPAN, 1969, 52 (01): : 120 - &
  • [30] Fixpoint 3-valued semantics for autoepistemic logic
    Denecker, M
    Marek, V
    Truszczynski, M
    FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 840 - 845
12345