Deriving Numerical Abstract Domains via Principal Component Analysis
From MaRDI portal
Publication:4930722
DOI10.1007/978-3-642-15769-1_9zbMath1306.68018OpenAlexW1543362203MaRDI QIDQ4930722
Gianluca Amato, Francesca Scozzari, Maurizio Parton
Publication date: 1 October 2010
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_9
Related Items (3)
Discovering invariants via simple component analysis ⋮ The Abstract Domain of Parallelotopes ⋮ Template polyhedra and bilinear optimization
Uses Software
This page was built for publication: Deriving Numerical Abstract Domains via Principal Component Analysis