Widening and narrowing operators for abstract interpretation

DOI10.1016/j.cl.2010.09.001zbMath1218.68100MaRDI QIDQ2275526

Agostino Cortesi, Matteo Zanioli

Publication date: 9 August 2011

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2010.09.001

zbMATH Keywords

static analysis; abstract interpretation; abstract domains; narrowing operators; widening operators

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• cc(FD)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• The octagon abstract domain
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• The quotient of an abstract interpretation
• The reduced relative power operation on abstract domains
• Combinations of abstract domains for logic programming: Open product and generic pattern construction
• Precise widening operators for convex polyhedra
• Type analysis of prolog using type graphs
• Abstract domains for reordering CLP(RLin) programs
• Abstract cofibered domains: Application to the alias analysis of untyped programs
• Abstract Interpretation Frameworks
• Programming Languages and Systems
• A Practical String Analyzer by the Widening Approach
• Approximation Refinement for Interpolation-Based Model Checking
• Static Analysis