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 条

[31] THE APPLICATION OF 3-VALUED LOGIC FOR ANALYSIS OF RELATIONS BETWEEN PHYSICAL VALUES
SHESTAKOV, VI
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 3 FIZIKA ASTRONOMIYA, 1983, 24 (04): : 40 - 45
[32] Stone algebras: 3-valued logic and rough sets
Arun Kumar
Shilpi Kumari
Soft Computing, 2021, 25 : 12685 - 12692
[33] A paraconsistent 3-valued logic related to Godel logic G3
Robles, Gemma
Mendez, Jose M.
LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 515 - 538
[34] Stone algebras: 3-valued logic and rough sets
Kumar, Arun
Kumari, Shilpi
SOFT COMPUTING, 2021, 25 (20) : 12685 - 12692
[35] SOME MODAL LOGICS BASED ON A 3-VALUED LOGIC
SEGERBERG, K
THEORIA, 1967, 33 : 53 - 71
[36] 3-VALUED NONMONOTONIC FORMALISMS AND SEMANTICS OF LOGIC PROGRAMS
PRZYMUSINSKI, T
ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 309 - 343
[37] Abduction over 3-valued extended logic programs
Damasio, CV
Pereira, LM
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 29 - 42
[38] RETURN OF LIAR - 3-VALUED LOGIC AND CONCEPT OF TRUTH
SKYRMS, B
AMERICAN PHILOSOPHICAL QUARTERLY, 1970, 7 (02) : 153 - 161
[39] Abduction over 3-valued extended logic programs
Int J Pressure Vessels Piping, 2 (29):
[40] Fast Garbling of Circuits over 3-Valued Logic
Lindell, Yehuda
Yanai, Avishay
PUBLIC-KEY CRYPTOGRAPHY - PKC 2018, PT I, 2018, 10769 : 620 - 643

← 1 2 3 4 5 →