Automating Abstract Interpretation

被引：14

作者：

Reps, Thomas ^{[1
,2
]}

Thakur, Aditya ^{[3
]}

机构：

[1] Univ Wisconsin, Madison, WI USA

[2] GrammaTech Inc, Ithaca, NY USA

[3] Google Inc, Mountain View, CA USA

来源：

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016 | 2016年 / 9583卷

关键词：

PARAMETRIC SHAPE-ANALYSIS; SEMANTICS; SYSTEMS; TVLA; SET;

D O I：

10.1007/978-3-662-49122-5_1

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The Abstract interpretation has a reputation of being a kind of "black art," and consequently difficult to work with. This paper describes a twenty-year quest by the first author to address this issue by raising the level of automation in abstract interpretation. The most recent leg of this journey is the subject of the second author's 2014 Ph. D. dissertation. The paper discusses several different approaches to creating correct-byconstruction analyzers. Our research has allowed us to establish connections between this problem and several other areas of computer science, including automated reasoning/decision procedures, concept learning, and constraint programming.

引用

页码：3 / 40

页数：38

共 85 条

[1] AKERS SB, 1959, J SOC IND APPL MATH, V7, P487
[2] LEARNING REGULAR SETS FROM QUERIES AND COUNTEREXAMPLES
ANGLUIN, D
[J]. INFORMATION AND COMPUTATION, 1987, 75 (02) : 87 - 106
[3] [Anonymous], 1957, J SYMBOLIC LOGIC
[4] [Anonymous], 1977, POPL
[5] [Anonymous], 2002, LICS
[6] The essence of constraint propagation
Apt, KR
[J]. THEORETICAL COMPUTER SCIENCE, 1999, 221 (1-2) : 179 - 210
[7] Arnold G, 2006, LECT NOTES COMPUT SC, V3855, P33
[8] The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Bagnara, Roberto
Hill, Patricia M.
Zaffanella, Enea
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2008, 72 (1-2) : 3 - 21
[9] Balakrishnan G., 2010, TOPLAS, V32, P202
[10] Ball T., 2001, Tools and Algorithms for the Construction and Analysis of Systems. 7th International Conference, TACAS 2001. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001. Proceedings (Lecture Notes in Computer Science Vol.2031), P268

← 1 2 3 4 5 6 7 8 9 →