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 条
  • [41] APPLICATION OF 3-VALUED LOGIC FOR DISTRIBUTED TERMINATION DETECTION
    KAVIANPOUR, A
    BAGHERZADEH, N
    COMPUTERS & ELECTRICAL ENGINEERING, 1991, 17 (02) : 65 - 74
  • [42] 3-VALUED FORMALIZATIONS OF NONMONOTONIC REASONING AND LOGIC PROGRAMMING
    PRZYMUSINSKI, TC
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 341 - 348
  • [43] SET OF PRIME CLOSING FUNCTIONS OF 3-VALUED LOGIC
    RVACHEV, VL
    TONITSA, VS
    SHKLYAROV, LI
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (02): : 89 - 94
  • [44] A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS
    YOU, JH
    YUAN, LY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 334 - 361
  • [45] THE HILBERT TYPE AXIOMATIZATION OF SOME 3-VALUED PROPOSITIONAL LOGIC
    ZBRZEZNY, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (05): : 415 - 421
  • [46] G3′ AS THE LOGIC OF MODAL 3-VALUED HEYTING ALGEBRAS
    Coniglio, Marcelo Esteban
    Figallo-Orellano, Aldo
    Hernandez-Tello, Alejandro
    Perez-Gaspar, Miguel
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2022, 9 (01): : 175 - 197
  • [47] A note on 3-valued rough logic accepting decision rules
    Polkowski, L
    FUNDAMENTA INFORMATICAE, 2004, 61 (01) : 37 - 45
  • [48] INDEPENDENT AXIOMS FOR IMPLICATIONAL FRAGMENT OF SOBOCINSKIS 3-VALUED LOGIC
    MEYER, RK
    PARKS, Z
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (04): : 291 - 295
  • [49] REALIZATION OF A 3-VALUED LOGIC BUILT-IN TESTING STRUCTURE
    ROZON, CN
    MOUFTAH, HT
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1990, 25 (03) : 814 - 820
  • [50] USE OF 3-VALUED LOGIC FOR DESCRIBING RELIABILITY OF SAFETY SYSTEMS
    BANFI, A
    GARRIBBA, S
    MUSSIO, P
    NALDI, F
    VOLTA, G
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1976, 24 (NOV19): : 326 - 327
12345