An abstract domain to infer symbolic ranges over nonnegative parameters

DOI10.1016/J.ENTCS.2014.08.004MaRDI QIDQ281291zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

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

Cited in

(2)

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

Describes a project that uses

Uses Software

• ASTREE
• Interproc
• Apron

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)