An abstract domain to infer symbolic ranges over nonnegative parameters

DOI10.1016/j.entcs.2014.08.004zbMath1337.68077OpenAlexW2019741404WikidataQ113317857 ScholiaQ113317857MaRDI QIDQ281291

Liqian Chen, Ji Wang, Xueguang Wu

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)

Uses Software

• Apron
• Interproc
• ASTREE

Cites Work

• Unnamed Item
• 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

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