scientific article; zbMATH DE number 1638645
From MaRDI portal
Publication:2736342
Cited in
(11)- An Improved Tight Closure Algorithm for Integer Octagonal Constraints
- Class invariants as abstract interpretation of trace semantics
- Abstract interpretation of microcontroller code: intervals meet congruences
- Donut domains: efficient non-convex domains for abstract interpretation
- Completeness of string analysis for dynamic languages
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Widening and narrowing operators for abstract interpretation
- Abstract interpretation of mobile systems
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
- Abstract cofibered domains: application to the alias analysis of untyped programs
- Fully Bounded Polyhedral Analysis of Integers with Wrapping
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2736342)
