TY - GEN
T1 - On the complexity of dataflow analysis of logic programs
AU - Debray, Saumya K
PY - 1992
Y1 - 1992
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85029782650&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85029782650&partnerID=8YFLogxK
U2 - 10.1007/3-540-55719-9_100
DO - 10.1007/3-540-55719-9_100
M3 - Conference contribution
AN - SCOPUS:85029782650
SN - 9783540557197
VL - 623 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 509
EP - 520
BT - Automata, Languages and Programming - 19th International Colloquium, Proceedings
PB - Springer Verlag
T2 - 19th International Colloquium on Automata, Languages, and Programming, ICALP 1992
Y2 - 13 July 1992 through 17 July 1992
ER -