Invertible linear transforms of numerical abstract domains

DOI10.1007/978-3-319-99725-4_21MaRDI QIDQ6041180zbMATH OpenFDO

Authors Francesco Ranzato, Marco Zanella

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL http://www.math.unipd.it/~ranzato/papers/sas18.pdf

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The abstract domain of parallelotopes
• The octagon abstract domain
• scientific article; zbMATH DE number 1738295
• Making abstract interpretations complete
• Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships

Cited in

(4)

• An abstract domain to discover interval linear equalities
• A note on linear transformations over integral domains
• The abstract domain of parallelotopes
• A new abstraction framework for affine transformers

This page was built for publication: Invertible linear transforms of numerical abstract domains

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