A Survey on Product Operators in Abstract Interpretation

被引：22

作者：

Cortesi, Agostino ^{[1
]}

Costantini, Giulia ^{[1
]}

Ferrara, Pietro ^{[2
]}

机构：

[1] Ca Foscari Univ, Venice, Italy

[2] ETH, Zurich, Switzerland

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 129期

关键词：

D O I：

10.4204/EPTCS.129.19

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The aim of this paper is to provide a general overview of the product operators introduced in the literature as a tool to enhance the analysis accuracy in the Abstract Interpretation framework. In particular we focus on the Cartesian and reduced products, as well as on the reduced cardinal power, an under-used technique whose features deserve to be stressed for their potential impact in practical applications.

引用

页码：325 / 336

页数：12

共 20 条

[1] A static analyzer for large safety-critical software [J].

Blanchet, B ;

Cousot, P ;

Cousot, R ;

Feret, J ;

Mauborgne, L ;

Miné, A ;

Monniaux, D ;

Rival, X .

ACM SIGPLAN NOTICES, 2003, 38 (05) :196-207

[2] Combinations of abstract domains for logic programming: open product and generic pattern construction [J].

Cortesi, A ;

Le Charlier, B ;

Van Hentenryck, P .

SCIENCE OF COMPUTER PROGRAMMING, 2000, 38 (1-3) :27-71

[3] Widening and narrowing operators for abstract interpretation [J].

Cortesi, Agostino ;

Zanioli, Matteo .

COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2011, 37 (01) :24-42

[4]

Cousot P, 2005, LECT NOTES COMPUT SC, V3444, P21

[5] ABSTRACT INTERPRETATION AND APPLICATION TO LOGIC PROGRAMS [J].

COUSOT, P ;

COUSOT, R .

JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (2-3) :103-179

[6]

COUSOT P, 1994, PROCEEDINGS OF THE 1994 INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES, P95, DOI 10.1109/ICCL.1994.288389

[7]

Cousot P., MIT COURSE 16 399 AB

[8]

Cousot P., 1979, P 6 ACM SIGACT SIGPL, P269, DOI DOI 10.1145/567752.567778

[9]

Cousot P., 1978, P 5 ACM SIGACT SIGPL, P84

[10]

Cousot P., 1977, P 4 ACM SIGACT SIGPL, DOI [10.1145/512950.512973, DOI 10.1145/512950.512973]

← 1 2 →