scientific article; zbMATH DE number 1638645
From MaRDI portal
zbMATH Open0967.68509MaRDI QIDQ2736342FDOQ2736342
Publication date: 29 August 2001
Title of this publication is not available (Why is that?)
Cited In (11)
- Class invariants as abstract interpretation of trace semantics
- Abstract interpretation of microcontroller code: intervals meet congruences
- Abstract cofibered domains: Application to the alias analysis of untyped programs
- Completeness of string analysis for dynamic languages
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Widening and narrowing operators for abstract interpretation
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
- Abstract interpretation of mobile systems
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
- Fully Bounded Polyhedral Analysis of Integers with Wrapping
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints
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)
