Deriving Numerical Abstract Domains via Principal Component Analysis.

Gianluca Amato, Maurizio Parton, Francesca Scozzari

Browse the full SAS paper archive.