The Abstract Domain of Parallelotopes

DOI10.1016/j.entcs.2012.09.003zbMath1294.68049OpenAlexW2040201492WikidataQ113318062 ScholiaQ113318062MaRDI QIDQ5170166

Gianluca Amato, Francesca Scozzari

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

polyhedraabstract interpretationparallelotopesnumerical domains

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Experimental evaluation of numerical domains for inferring ranges ⋮ On the efficiency of convex polyhedra ⋮ Descending chains and narrowing on template abstract domains

Cites Work

• Discovering invariants via simple component analysis
• The octagon abstract domain
• Affine relationships among variables of a program
• Generalizing the Template Polyhedral Domain
• Logahedra: A New Weakly Relational Domain
• Deriving Numerical Abstract Domains via Principal Component Analysis
• Abstract Interpretation Frameworks
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: The Abstract Domain of Parallelotopes