Widening and narrowing operators for abstract interpretation
From MaRDI portal
Publication:2275526
DOI10.1016/j.cl.2010.09.001zbMath1218.68100OpenAlexW2113299870MaRDI 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
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ PPLite: zero-overhead encoding of NNC polyhedra ⋮ Twinning automata and regular expressions for string static analysis ⋮ The abstract domain of trapezoid step functions ⋮ Stratified Static Analysis Based on Variable Dependencies
Uses Software
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