Deriving Numerical Abstract Domains via Principal Component Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianluca Amato, Maurizio Parton, Francesca Scozzari. Deriving Numerical Abstract Domains via Principal Component Analysis. In Radhia Cousot, Matthieu Martel, editors, Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Volume 6337 of Lecture Notes in Computer Science, pages 134-150, Springer, 2010. [doi]

This author has not been identified. Look up 'Gianluca Amato' in GoogleThis author has not been identified. Look up 'Maurizio Parton' in GoogleThis author has not been identified. Look up 'Francesca Scozzari' in Google

runs on WebDSL