ISSN:
1432-0622
Keywords:
Program
;
Program analysis
;
Invariant equality
;
Polynomial
;
Polynomial ideal
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mathematics
,
Technology
Notes:
Abstract The problem of the automatic discovery of invariant polynomial equalities in program control points is considered. The class of programs with data algebras that are infinite fields is studied in the paper. The results obtained here may also be extended to infinite commutative integral domains. To solve the problem the approximation method is proposed. Four main problems connected with this method are formulated and proved to be decidable.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01200151
Permalink