Abstract | ||
---|---|---|
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of software, is based on two main key-concepts: the correspondence between concrete and abstract semantics through Galois connections/insertions, and the feasibility of a fixed point computation of the abstract semantics, through the fast convergence of widening operators. The latter point is crucial to ensure the scalability of the analysis to large software systems. The aim of this paper is to set the ground for a systematic design of widening and narrowing operators, by comparing the different definitions introduced in the literature and by discussing how to tune them in case of domain abstraction and domains' combination through cartesian and reduced products. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.cl.2010.09.001 | Computer Languages, Systems & Structures |
Keywords | Field | DocType |
latter point,narrowing oper- ators.,galois connection,widening operators,abstract interpretation,abstract domains,fixed point computation,narrowing operators,static analysis,domain abstraction,applied technique,large software system,different definition,abstract semantics,semantic model,software systems | Programming language,Computer science,Abstract interpretation,Static analysis,Software system,Theoretical computer science,Software,Operator (computer programming),Semantics,Cartesian coordinate system,Scalability | Journal |
Volume | Issue | ISSN |
37 | 1 | Computer Languages, Systems & Structures |
Citations | PageRank | References |
21 | 0.90 | 27 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Agostino Cortesi | 1 | 791 | 66.19 |
Matteo Zanioli | 2 | 52 | 2.90 |