Abstract
In this article, we discuss the analysis of equality relationships for program terms. We extend a description of the analysis presented in last articles of the author and give attention to some new aspects which are not widely considered yet. In particular, among other illustrating examples, a program is given for which this analysis without a widening operator diverges.
File
emelyanov.pdf7.24 MB
Pages
15-38