@dblp

Abstract Interpretation of Term Graph Rewriting Systems.

. Functional Programming, page 54-65. Springer, (1990)

Links and resources

Tags