scientific article

zbMath0967.68509MaRDI QIDQ2736342

Philippe Granger

Publication date: 29 August 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation, Applying abstract acceleration to (co-)reachability analysis of reactive programs, Abstract interpretation of microcontroller code: intervals meet congruences, Class invariants as abstract interpretation of trace semantics, Fully Bounded Polyhedral Analysis of Integers with Wrapping, Abstract interpretation of mobile systems, Widening and narrowing operators for abstract interpretation, An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints, An Improved Tight Closure Algorithm for Integer Octagonal Constraints, Completeness of string analysis for dynamic languages, Abstract cofibered domains: Application to the alias analysis of untyped programs