Abstract Interpretation of Logic Programs using Magic Transformations

Saumya K. Debray, Raghu Ramakrishnan. Abstract Interpretation of Logic Programs using Magic Transformations. Journal of Logic and Algebraic Programming, 18(2):149-176, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.