Widening operators for powerset domains

Authors:
Roberto Bagnara;Patricia M. Hill;Enea Zaffanella
Affiliations:
University of Parma, Department of Mathematics, Parma, Italy;University of Leeds, School of Computing, Leeds, UK;University of Parma, Department of Mathematics, Parma, Italy
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2007

Citing 0
Cited 4

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement

SAS '08 Proceedings of the 15th international symposium on Static Analysis
Exact join detection for convex polyhedra and other numerical abstractions

Computational Geometry: Theory and Applications
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness

Formal Methods in System Design
Sweeping in Abstract Interpretation

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract