Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization

@article{Clauss2004ApplicationOS,
  title={Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization},
  author={F. Clauss and I. Yu. Chupaeva},
  journal={Programming and Computer Software},
  year={2004},
  volume={30},
  pages={164-172}
}
Mathematical packages for static analysis of programs have recently been developed. Although these packages are widely used, they have a number of limitations. In particular, they do not support multivariate polynomials with integer coefficients, which are often met in programs and used for the analysis of systems. Some methods to overcome this difficulty… CONTINUE READING