DATA FLOW ANALYSIS ON THE BASIS OF SEMILATTICE
M Zhang · Chinese Journal of Computers · 1980
While many global data flow analysis problems have been solved successfully on the basis of Boolean algebra, it is found that many others should be solved on a more general basis of semilattice. So far only a few results have been achieved in this direction. In the present paper it is shown that the results of reference [10] can be extended to the semilattice case, i.e. two transformations on semilattice equations can be introduced and an algorithm for the data flow analysis can be devised. By means of these transformations the interval algorithms and the algorithm of Ullman can be generalized.