Sweeping in Abstract Interpretation

DOI10.1016/j.entcs.2012.10.005zbMath1294.68056OpenAlexW2021410963WikidataQ113318051 ScholiaQ113318051MaRDI QIDQ5170178

Krzysztof Jakubczyk

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.10.005

zbMATH Keywords

static analysisabstract interpretationnumerical abstract domainssweeping linewidening operator

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• BOXES

Cites Work

• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• Relational Abstract Domain of Weighted Hexagons
• Quadtrees as an Abstract Domain
• Algorithms for Reporting and Counting Geometric Intersections
• Two Variables per Linear Inequality as an Abstract Domain
• Static Analysis in Disjunctive Numerical Domains
• Boxes: A Symbolic Abstract Domain of Boxes
• Programming Languages and Systems

This page was built for publication: Sweeping in Abstract Interpretation