Chris Hankin. Abstract Interpretation of Term Graph Rewriting Systems. In Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst, editors, Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990. Workshops in Computing, pages 54-65, Springer, 1990. [doi]
Abstract is missing.