Deriving Numerical Abstract Domains via Principal Component Analysis
نویسندگان
چکیده
We propose a new technique for developing ad-hoc numerical abstract domains by means of statistical analysis. We apply Principal Component Analysis to partial execution traces of programs, to find out a “best basis” in the vector space of program variables. This basis may be used to specialize numerical abstract domains, in order to enhance the precision of the analysis. As an example, we apply our technique to interval analysis of simple imperative programs.
منابع مشابه
Principal component analysis or factor analysis different wording or methodological fault?
This article has no abstract.
متن کاملA simple coding for cross-domain matching with dimension reduction via spectral graph embedding
Abstract: Data vectors are obtained from multiple domains. They are feature vectors of images or vector representations of words. Domains may have different numbers of data vectors with different dimensions. These data vectors from multiple domains are projected to a common space by linear transformations in order to search closely related vectors across domains. We would like to find projectio...
متن کاملNumerical Methods for Determining Principal Component Analysis Abstract Factors
Two complementary methods for computing abstract factors are discussed. These two methods have a common theme of generating eigenvectors and abstract factors one at a time, thus allowing a specific number of abstract factors to be computed rather than being limited to computing all abstract factors for a given problem. Determination of only a limited number of abstract factors represents a sign...
متن کاملDevelopment of a cell formation heuristic by considering realistic data using principal component analysis and Taguchi’s method
Over the last four decades of research, numerous cell formation algorithms have been developed and tested, still this research remains of interest to this day. Appropriate manufacturing cells formation is the first step in designing a cellular manufacturing system. In cellular manufacturing, consideration to manufacturing flexibility and productionrelated data is vital for cell formation....
متن کاملA Tool Which Mines Partial Execution Traces to Improve Static Analysis
We present a tool which performs abstract interpretation based static analysis of numerical variables. The novelty is that the analysis is parametric, and parameters are chosen by applying a variant of principal component analysis to partial execution traces of programs. Abstract interpretation based static analysis [5] may be used to prove runtime properties of program variables such as “all t...
متن کامل