Bottom-Up Dataflow Analysis of Normal Logic Programs

Kim Marriott, Harald Søndergaard. Bottom-Up Dataflow Analysis of Normal Logic Programs. Journal of Logic and Algebraic Programming, 13(2&3):181-204, 1992.

Abstract

Abstract is missing.