An abstract domain to infer symbolic ranges over nonnegative parameters

DOI10.1016/J.ENTCS.2014.08.004zbMATH Open1337.68077OpenAlexW2019741404WikidataQ113317857 ScholiaQ113317857MaRDI QIDQ281291FDOQ281291

Authors: Xueguang Wu, Liqian Chen, Ji Wang 

Publication date: 10 May 2016

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

Recommendations

• Program Analysis Using Symbolic Ranges
• scientific article; zbMATH DE number 1738295
• A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
• The abstract domain of parallelotopes
• Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships

zbMATH Keywords

intervalsabstract interpretationabstract domainssymbolic ranges

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Handbook of constraint programming.
• Affine relationships among variables of a program
• Program Analysis Using Symbolic Ranges
• SPEED: Symbolic Complexity Bound Analysis
• An abstract domain to discover interval linear equalities

Cited In (2)

• A parametric abstract domain for lattice-valued regular expressions
• Program Analysis Using Symbolic Ranges

Uses Software

• Apron
• Interproc
• ASTREE

This page was built for publication: An abstract domain to infer symbolic ranges over nonnegative parameters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281291)