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

被引：0

作者：

F. Clauss

I. Yu. Chupaeva

机构：

[1] Université Louis Pasteur,ICPS/LSIIT

[2] INRIA Rocquencourt,A3 Project

[3] Moscow State University,Department of Mechanics and Mathematics

来源：

Programming and Computer Software | 2004年 / 30卷

关键词：

Operating System; Artificial Intelligence; Program Analysis; Mathematical Package; Multivariate Polynomial;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

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 have already been suggested, but, unfortunately, they can be applied to only a subclass of such expressions. In this paper, we suggest a more general approach based on the Bernstein expansion, which facilitates the analysis of integer multivariate polynomials.

引用

页码：164 / 172

页数：8