Abstract Interpretation of Logic Programs using Magic Transformations.

Saumya K. Debray Raghu Ramakrishnan Abstract Interpretation of Logic Programs using Magic Transformations. 149-176 1994 18 J. Log. Program. 2 db/journals/jlp/jlp18.html#DebrayR94