Efficient Dataflow Analysis of Logic Programs

Saumya K. Debray. Efficient Dataflow Analysis of Logic Programs. Journal of the ACM, 39(4):949-984, 1992. [doi]

Abstract

Abstract is missing.