It is widely held that there is a correlation between complexity and precision in dataflow analysis, in the sense that the more precise an analysis algorithm, the more computationally expensive it must be. The details of this correspondence, however, appear to not have been explored extensively. This paper reports some results on this tra~leotf in the context of Horn logic prograxns. A formal notion of the “precision” of an analysis algorithm is proposed, and this is used to characterize the worst case computational complexity of a number of dataflow analysis algorithms with different degrees of precision.
CITATION STYLE
Debray, S. K. (1992). On the complexity of dataflow analysis of logic programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 623 LNCS, pp. 509–520). Springer Verlag. https://doi.org/10.1007/3-540-55719-9_100
Mendeley helps you to discover research relevant for your work.