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 http://dx.doi.org/10.1016/0743-1066(94)90050-7