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